Julien Cretin

data-encoding. Efficient and customizable data-encoding functions in Rust

lafont. Animation of Yves Lafont's Interaction Combinators

unsafe-mental-model. Mental model for unsafe in Rust

onekibu. USB keyboard firmware for devices with a single button

GhcKindsExamples. Examples and tests for ghc-kinds branch of GHC

advent-of-code. Solutions for the Advent of Code

fcc. Coq formalization of System Fcc (coercion framework)

number-encoding. Combinatorial and factorial number systems

ffactor. Factored files management tool

KDFs. Collection of Key Derivation Functions written in pure Rust

WebAssembly-spec. WebAssembly specification, reference interpreter, and test suite.