Pinned Repositories
cranelift
Cranelift code generator
catala
Programming language for literate programming law specification
covid19-algorithme-orientation
Documentation de l'algorithme d'orientation COVID19
GPU-tracking
Final project for 15-618 : implement a GPU version of the KCF algorithm
rox-star
Rust to F* toolchain
soutenance
Vérification de la procédure de soutenance de thèse
wasm2cretonne
Translator from wasm to Cretonne IL
FStar
A Proof-oriented Programming Language
hacspec
Please see https://github.com/hacspec/hax
mlang
Compiler for the M language, used to compute the income tax of French taxpayers
denismerigoux's Repositories
denismerigoux/LAPI-django
Support for collaborative counting