Pinned Repositories
chick
config
Personal configuration files
dotfiles
Dotfiles, to be symlinked in the home directory via stow
extensible-nanopass-compiler
A Coq implementation of a nanopass compiler, using "Meta-Theory à la Carte" techniques
language-ocaml
Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)
lyah-fr
French translation of Learn You A Haskell For Great Good
ocamelf
ELF-parsing library written in OCaml for OCaml
PeaCoq
PeaCoq is a pretty Coq, isn't it?
yokoiboy
Toy GameBoy emulator, in Rust
yugioh
Yu-Gi-Oh! simulator
Ptival's Repositories
Ptival/ocamelf
ELF-parsing library written in OCaml for OCaml
Ptival/social_scrapper
This project contains Scrapy spiders able to crawl some charity/general interest/humanitarian websites to extract data about volunteering opportunities.
Ptival/ynot
Harvard's Ynot: http://ynot.cs.harvard.edu/ - One branch per Coq version which needed changes
Ptival/compcert-alias
Alias analysis for CompCert
Ptival/agda-misc
Miscellaneous Agda hacking
Ptival/algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
Ptival/coq-misc
Miscellaneous stuff in Coq
Ptival/cse291-agda
Agda presentation for the CSE291 seminar
Ptival/documents
Various presentations (maybe...)
Ptival/files
All sorts of files that I may need again later
Ptival/Pire2Pire
Second year project. Network programming, system programming.
Ptival/PtiBot
SupyBot plugins for fun (and profit?)
Ptival/SVG-Magnifier