ppedrot/zamel
A tool to compute phonetic evolution on a lexicon
Developer Profile
ppedrot
Discovered public repositories for ppedrot in the GitHub catalog.
ppedrot/vitef
A junkyard to stuff bits of quick-n'-dirty code
ppedrot/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.
ppedrot/ocaml-compactor
Small library to compute maximal sharing of OCaml datastructures.
ppedrot/lsh-generator
Generate titles of conferences in philosophy!
ppedrot/sat-coq
A reflexive sat & tauto solver in Coq.
ppedrot/ll-coq
Some Coq formalizations of Linear Logic