onivim / oni2
Native, lightweight modal code editor
We recommend upgrading to the latest Google Chrome or Firefox.
See what the GitHub community is most excited about today.
Native, lightweight modal code editor
FUSE filesystem over Google Drive
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Performant type-checking for python.
The core OCaml system: compilers, runtime system, base libraries