Popular repositories

1. query_params query_params Public

   Custom derive to automatically implement serialization to http query params for arbitrary structs.

   Rust 9 1

2. coqlang_temporal_logic coqlang_temporal_logic Public

   Formalization of temporal logic in Coq

   Coq 6 1

3. mcltl-rs mcltl-rs Public

   [beta] An experimental model checker for LTL written in Rust

   Rust 5 1

4. Kaleidoscope-rs Kaleidoscope-rs Public

   Implementation of a simple programming frontend language using LLVM and Rust.

   Rust 3

5. omphalOS omphalOS Public

   Simple UNIX operating system

   C 2

6. my-resume my-resume Public

   My resume written with Latex

   TeX 1