Popular repositories

1. libnsf libnsf Public

   Handles the nsf audio format, a library and an application for viewing and modifying the metadata of the format used for storing NES music data.

   C 8 1

2. stuff-in-agda stuff-in-agda Public

   Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.

   Agda 8 1

3. enum_traits enum_traits Public

   Simple traits and derives for enums in the Rust programming language

   Rust 6 5

4. 2dgl 2dgl Public

   Not maintained

   Rust 4

5. fixed_circular_buffer fixed_circular_buffer Public

   A queue (the abstract data structure) implemented using a fixed size circular buffer in the Rust programming language

   Rust 3 1

6. endian-type endian-type Public

   Rust 2 4