Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

coq-elpi

Coq plugin embedding elpi

Coq114lgpl-2.1

5 months ago

coqextension-languagelambda-prolog

elpy

Emacs Python Development Environment

Emacs Lisp1874gpl-3.0

4 months ago