Valentin Robert

PeaCoq. PeaCoq is a pretty Coq, isn't it?

language-ocaml. Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)

ocamelf. ELF-parsing library written in OCaml for OCaml

yugioh. Yu-Gi-Oh! simulator

chick. Haskell

lyah-fr. French translation of Learn You A Haskell For Great Good

mock-haskell-projects. A collection of mock Haskell project setups that ought to load properly

extensible-nanopass-compiler. A Coq implementation of a nanopass compiler, using "Meta-Theory à la Carte" techniques

recursion-schemes-examples. Examples of using the recursion-schemes package

language-coq. Haskell

ProofIDE. Editing proofs made nicer

HaysTac. A pile of Ltac tactics that might contain the needle you're looking for...

galois. Reproducible setup for Galois

yokoiboy. Toy GameBoy emulator, in Rust

social_scrapper. This project contains Scrapy spiders able to crawl some charity/general interest/humanitarian websites to extract data about volunteering opportunities.

rocq-gameboy. Coq

peacoqtop. Haskell

haskell-nix-template. Template for Haskell project using nix + haskell.nix + niv + hpack + haskell-language-server

generic-spot-the-difference. Nix

00-lambda. Starter code for 00-lambda

compcert-alias. Alias analysis for CompCert

lambda-forall. HTML

config. Personal configuration files

dotfiles. Dotfiles, to be symlinked in the home directory via stow

formal. Formalization of some dependently-typed languages