nope · @stacked_automation
129 followers · 7144 posts · Server mastodon.social
REPLica: REPL instrumentation for Coq analysis
(2020) : Ringer, Talia et al
DOI: https://doi.org/10.1145/3372885.3373823
#coq #study_methodology #REPL #user_interface #proof_engineering #instrumentation #my_bibtex
#coq #study_methodology #repl #user_interface #proof_engineering #instrumentation #my_bibtex
vfxvision · @vfxvision
1 followers · 3 posts · Server graphics.socialWe are working on a blender Addon, I had to learn PyQt.
PyQt is powerful AF.
Easy to use.
Flexible.
So many learning resources.
Cross platform.
Mamamia.
#pyqt #blender #ui #user_interface
#pyqt #blender #ui #user_interface
GNU TeXmacs · @gnu_texmacs
61 followers · 40 posts · Server mathstodon.xyz
TeXmacs is scriptable in Scheme (as any software should be). You can manipulate documents and insert arbitrary content, define menus and widgets, modify behaviours. @guilelang #scheme #lisp #scripting #graphics #typesetting #user_interface
#user_interface #typesetting #graphics #scripting #lisp #scheme