Quentin Stiévenart's repositories
maf
Static Analysis Framework for Modular Analyses
dream
Tidy, feature-complete Web framework
semtl.github.io
Website for SE@MTL
acieroid.github.io
Personal web page
wasm-spec
WebAssembly specification, reference interpreter, and test suite.
crafting-interpreters-in-scheme
Small implementation of the "Crafting Interpreters" book in Scheme
pycparser
:snake: Complete C99 parser in pure Python
scraping-wasm
Scraping WebAssembly usage on the web
ScrapyScrap
Small library to automate github scraping and post processing repositories that fit your criterias
dagre-d3
A D3-based renderer for Dagre
flix
The Flix Programming Language
racket-concurrency
Interpreters and benchmarks for various concurrency models in Racket
mailbox-abstraction-proofs
Mechanized soundness proofs for different mailbox abstractions
fluffy
Awesom's IRC bot
ip
m-b-'s "what's my ip" web app in Go
ml-hash
Experiments of using hash functions (à la Java hashCode) and Gödel hashing in OCaml
pygments
A pygments wrapper for golang, Pygments is a syntax highlighter.
salt-states
My salt states and modules