Popular repositories

1. query_params

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

   Rust 5 1

2. coqlang_temporal_logic

   Formalization of temporal logic in Coq

   Coq 5

3. omphalOS

   Simple UNIX operating system

   C 2

4. eden

   MAS side project

   Rust 2

5. mcltl-rs

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

   Rust 2

6. my-resume

   My resume written with Latex

   TeX 1