Integrated Development Environment
3 projects
Showing 3 of 3 projects
jsCoqTypeScript
A JavaScript port of the Coq proof assistant that runs entirely in the browser, enabling interactive theorem proving online.
#coq#formal-methods#integrated-development-environment
Stars545
Forks49
Last commit3 months ago
Company-CoqEmacs Lisp
A collection of Emacs extensions for Proof General's Coq mode, providing IDE-like features for interactive theorem proving.
#emacs#coq#integrated-development-environment
Stars363
Forks32
Last commit2 months ago
SLTCommon Lisp
A Common Lisp language plugin for JetBrains IDEs using SLIME/Swank protocol for IDE capabilities.
#ide-plugin#swank#lisp
Stars217
Forks17
Last commit11 months ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.