Valentin Robert Ptival
- PeaCoq 38 PeaCoq is a pretty Coq, isn't it?
- lyah-fr 5 French translation of Learn You A Haskell For Great Good
- ocamelf 4 ELF-parsing library written in OCaml for OCaml
- social_scrapper 3 This project contains Scrapy spiders able to crawl some charity/general interest/humanitarian websites to extract data about volunteering opportunities.
- ProofIDE 1 Editing proofs made nicer
Repositories contributed to
- coq/coq 282 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 develo…
Contributions in the last year 666 total Jul 29, 2014 – Jul 29, 2015
Longest streak 15 days December 30 – January 13
Current streak 0 days Last contributed