Popular repositories

1. coqlang_temporal_logic Public

   Formalization of temporal logic in Coq

   Coq 7 1

2. query_params Public

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

   Rust 5 1

3. omphalOS Public

   Simple UNIX operating system

   C 2

4. eden Public

   MAS side project

   Rust 2

5. mcltl-rs Public

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

   Rust 2

6. my-resume Public

   My resume written with Latex

   TeX 1