Pinned Repositories
coq
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.
django-crispy-forms
The best way to have DRY Django forms. The app provides a tag and filter that lets you quickly render forms in a div format while providing an enormous amount of capability to configure and control the rendered HTML.
guix
Read-only mirror of GNU Guix — pull requests are ignored, see https://guix.gnu.org/en/manual/en/guix.html#Submitting-Patches instead
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-categories
A new Categories library for Agda
coq
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.
cubical
An experimental library for Cubical Agda
git-filter-repo
Quickly rewrite git repository history (filter-branch replacement)
metacoq
Metaprogramming in Coq
proot
chroot, mount --bind, and binfmt_misc without privilege/setup for Linux
jpoiret's Repositories
jpoiret/agda
Agda is a dependently typed programming language / interactive theorem prover.
jpoiret/agda-categories
A new Categories library for Agda
jpoiret/coq
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.
jpoiret/cubical
An experimental library for Cubical Agda
jpoiret/git-filter-repo
Quickly rewrite git repository history (filter-branch replacement)
jpoiret/metacoq
Metaprogramming in Coq
jpoiret/proot
chroot, mount --bind, and binfmt_misc without privilege/setup for Linux