Pinned Repositories
coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
coqtail
reciptacle
Receptacle for recipes
2048
Deterministic variant of 2048
cats
coqstuff
diffbs
diffbs is a diff and sort for betaseries
xcompose-latex
Generate entries to add to your XCompose from latex commands descriptions
VST
Verified Software Toolchain
jmadiot's Repositories
jmadiot/2048
Deterministic variant of 2048
jmadiot/diffbs
diffbs is a diff and sort for betaseries
jmadiot/xcompose-latex
Generate entries to add to your XCompose from latex commands descriptions
jmadiot/cats
jmadiot/aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainers=@fakusb,@palmskog]
jmadiot/atbr
Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
jmadiot/blank-coq-project
jmadiot/booklet
The definitive OwnTracks documentation
jmadiot/burnmpi
jmadiot/cellauto
Automatically exported from code.google.com/p/cellauto
jmadiot/color
Coq library on rewriting theory and termination
jmadiot/coq-extraction-example
jmadiot/GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
jmadiot/gh-minimap
Source code 💻 minimap 🗺️ extension for GitHub 🙈
jmadiot/github-actions-python-example
Python example project used for a github actions tutorial
jmadiot/herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
jmadiot/isochrone
Draw isochrones for several ways of travelling
jmadiot/jmfork.github.io
jmadiot/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
jmadiot/ocaml
The core OCaml system: compilers, runtime system, base libraries
jmadiot/ocamlseamcarving
Automatically exported from code.google.com/p/ocamlseamcarving
jmadiot/snake
A little snake game in Nim
jmadiot/sum-of-two-square
Numbers equal to the sum of two square numbers
jmadiot/trajanasm
Automatically exported from code.google.com/p/trajanasm
jmadiot/trajanpascal
Automatically exported from code.google.com/p/trajanpascal
jmadiot/vitef
Automatically exported from code.google.com/p/vitef
jmadiot/vlsub
VLC extension to download subtitles from opensubtitles.org
jmadiot/VST
Verified Software Toolchain
jmadiot/www
Source files of the coq.inria.fr website (static part)
jmadiot/ydiff
View colored, incremental diff in workspace or from stdin with side by side and auto pager support (Was "cdiff")