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/GPU-tracking
Final project for 15-618 : implement a GPU version of the KCF algorithm
denismerigoux/rox-star
Rust to F* toolchain
denismerigoux/wasm2cretonne
Translator from wasm to Cretonne IL
denismerigoux/soutenance
Vérification de la procédure de soutenance de thèse
denismerigoux/seum-counter
Seum online dashboard
denismerigoux/waterfall
Computes profits for a typical revenue sharing structure in the movie industry
denismerigoux/calculette-impots-m-language-parser
Calculette de l'impôt sur le revenu parsée
denismerigoux/tarot
Tarot game model in Rust
denismerigoux/algorithmes-publics
Guide sur les algorithmes publics à l'usage des administrations
denismerigoux/ateliers
Présentation des ateliers BlueHats
denismerigoux/awesome-codegouvfr
The curated list of French public codes.
denismerigoux/book
The hacspec book
denismerigoux/calculette-impots-m-source-code
Code source du calcul de l'impôt sur les revenus
denismerigoux/codegouv-website
Dépôt des sources du site principal de la mission logiciels libres.
denismerigoux/covid19-algorithme-orientation
Documentation de l'algorithme d'orientation COVID19
denismerigoux/cranelift
Cretonne code generator
denismerigoux/denismerigoux
My homepage
denismerigoux/everest-ci
CI scripts for project everest
denismerigoux/hacl-star
HACL*, a formally verified cryptographic library written in F*
denismerigoux/hacspec
denismerigoux/kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
denismerigoux/opam-repository
Main public package repository for opam, the source package manager of OCaml.
denismerigoux/openfisca-france
French tax and benefit system for OpenFisca
denismerigoux/ProjetINF441
Projet réalisé dans le cours d'INF441. Sujet : les liens dansants de Donald Knuth.
denismerigoux/publiccode.yml
A metadata standard for public software
denismerigoux/pygments
Pygments is a generic syntax highlighter written in Python
denismerigoux/ReadingNotes
denismerigoux/recettes
denismerigoux/rust
A safe, concurrent, practical language.
denismerigoux/servo
The Servo Browser Engine