Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Emacs Lisp Coq Open Source Projects

Open source projects categorized as Emacs Lisp Coq
Pg ⭐ 461
This repo is the new home of Proof General
most recent commit 3 months ago
Company Coq ⭐ 327
A Coq IDE build on top of Proof General's Coq mode
most recent commit a year ago
Spacemacs Coq ⭐ 40
A very simple coq layer for spacemacs
most recent commit 5 years ago
Dot Emacs ⭐ 9
Past the point of no return.
most recent commit 5 years ago
Coq Commenter ⭐ 6
Coq commenter for Emacs
most recent commit 7 years ago
Spacemacs Coq ⭐ 6
A simple spacemacs layer for Coq including Company-Coq and Proof General
most recent commit 8 years ago
Elcoq ⭐ 5
Experiments with SerAPI in Emacs
most recent commit 8 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.