InductorGen. A python script based on gdspy to generate Inductors
9ecq. A Fast C Library for Elliptic Curve Over Rationals
5GroMath. C++
5improved-resultant-attack. Implementation of the attack described in "Improved Resultant Attack against Arithmetization-Oriented Primitives"
3MiniRust. A miniature Rust compiler in OCaml
3FMME. Fast Multivariate Multi-point Evaluation
2decode_moi_ca. Fun decoding project in Rust
1Formally. An OCaml Formal calculus library
1FractalCities. A Fractal city renderer and simulator
1gmogoat.fr. My blog : gmogoat.fr
1SAT51. A brillant solver to the patisfiability problem
1PetitKoka. C++
1OCamLLL. LLL Implementation in OCaml
1OCamlChess. An OCaml based chess engine
1