Ptival/PeaCoq
PeaCoq is a pretty Coq, isn't it?
Developer Profile
Ptival
Discovered public repositories for Ptival in the GitHub catalog.
Ptival/ProofIDE
Editing proofs made nicer
Ptival/blog
Blog
Ptival/MetaprogAgda
being the materials for Summer 2013's course
Ptival/cse291-agda
Agda presentation for the CSE291 seminar
Ptival/ynot
Harvard's Ynot: http://ynot.cs.harvard.edu/ - One branch per Coq version which needed changes
Ptival/algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
Ptival/coq-misc
Miscellaneous stuff in Coq
Ptival/compcert-alias
Alias analysis for CompCert
Ptival/files
All sorts of files that I may need again later
Ptival/ocamelf
ELF-parsing library written in OCaml for OCaml
Ptival/agda-misc
Miscellaneous Agda hacking
Ptival/documents
Various presentations (maybe...)
Ptival/lyah-fr
French translation of Learn You A Haskell For Great Good
Ptival/config
Personal configuration files
Ptival/PtiBot
SupyBot plugins for fun (and profit?)
Ptival/SVG-Magnifier
Public repository.
Ptival/Pire2Pire
Second year project. Network programming, system programming.
Ptival/social_scrapper
This project contains Scrapy spiders able to crawl some charity/general interest/humanitarian websites to extract data about volunteering opportunities.