David Monniaux's Projects
MIDI Arpeggiator w/ JACK Tempo Sync.
Script for assigning reviewers to applications for academic positions
A bitsliced implementation of ECB and CTR AES
CCG is a random C Code Generator
The CompCert formally-verified C compiler
CoreMark® is an industry-standard benchmark that measures the performance of central processing units (CPU) and embedded microcrontrollers (MCU).
SweRV EH1 core
ELINA: ETH LIbrary for Numerical Analysis
Catalogue participatif des formations en informatique dans l'ESR public français
Open Source Software for Developing on the Freedom E Platform
IMITATOR
Meltdown Exploit PoC
An interface between OCaml and GMP (multiprecision library)
The core OCaml system: compilers, runtime system, base libraries
Portable Forth in C
Rocket Chip Generator
SeaHorn Verification Framework
TACLe Benchmarks
Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro
The Z3 Theorem Prover