Mbodin
Not all the projects made under this GitHub profile are done for work, more typically on my free time.
INRIAGrenoble
Pinned Repositories
alcis
An experimental programming language
coq-alternative-facts
Coq for politicians
coq-puzzles
A collection of puzzles formalised in Coq
CoqR
A Coq formalisation of the R programming language
murder-generator
A program to randomly generate (basic) murder parties
Spegularo
Imagine a Rogue-like medieval world whose magic is made of… JavaScript.
subtalk
Generate well-spaced subtitles from a script
tujkurso
Mbodin's Repositories
Mbodin/murder-generator
A program to randomly generate (basic) murder parties
Mbodin/CoqR
A Coq formalisation of the R programming language
Mbodin/coq-alternative-facts
Coq for politicians
Mbodin/alcis
An experimental programming language
Mbodin/coq-puzzles
A collection of puzzles formalised in Coq
Mbodin/subtalk
Generate well-spaced subtitles from a script
Mbodin/1Jeu1Ko
Mbodin/blocklib
A basic interface library
Mbodin/CompCert
The CompCert formally-verified C compiler
Mbodin/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.
Mbodin/coq-paco
A Coq library for parametric coinduction
Mbodin/coq-prelude
General-purpose monad typeclass hierarchy for Coq
Mbodin/coq-tlc
Mbodin/Coqtail
Interactive Coq Proofs in Vim
Mbodin/dimancxprogramado
Etaj programaĵoj kiuj ni faras dimanĉe ☺
Mbodin/emosons
Short sounds for emojis
Mbodin/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Mbodin/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
Mbodin/kwrenamefilter
A pygments filter to transform keywords
Mbodin/libutils
A collection of modules that I find very useful in OCaml projects
Mbodin/mapero
A pixel renderring of OSM maps (in progress)
Mbodin/Mbodin.github.io
Website
Mbodin/nosgestesclimat
Estimez votre empreinte climat - le modèle de calcul
Mbodin/OCamlSDL2
OCaml interface to SDL 2.0 (for Linux, Windows, MacOS, and ChromeBook)
Mbodin/parseque
Total Parser Combinators in Coq
Mbodin/potion-pandora
Mbodin/strong-induction
Induction principles over natural numbers
Mbodin/tlc
Library for Classical Coq
Mbodin/tujkuko
A collection of recipes presented as an adventure game
Mbodin/tyxml
Build valid HTML and SVG documents