Popular repositories Loading

1. mmap mmap Public

   A memory allocator that's pthread friendly and reduces kernel overhead.

   C

2. Count-Sat Count-Sat Public

   A #sat solver based on the countability of infinite sets

   C

3. Dance-Sat Dance-Sat Public

   An efficent sat solver written in C

   C

4. Temporal-FX Temporal-FX Public

   Video effects written in python for the application of non-temporal effects

   Python

5. CLI CLI Public

   A simple modable command line interface

   C

6. ring_buffer ring_buffer Public

   A simple ring buffer written in C

   C