Popular repositories Loading

1. rb3_driver rb3_driver Public

   Experimental RB3 Wireless MIDI Keyboard Driver

   C 33 17

2. PySnake PySnake Public

   OO Python-based "snake" game demonstrating the MVC design pattern

   Python 5 2

3. dlinear4 dlinear4 Public

   Linear delta-complete SMT solver, based on dreal4 (https://github.com/dreal/dreal4)

   C++ 5 1

4. qsopt-ex qsopt-ex Public

   dlinear4's modified version of Debian's qsopt-ex (https://salsa.debian.org/med-team/qsopt-ex). Included in dlinear4 as a git submodule.

   C 3 1

5. pkunzip-deflate-ruby pkunzip-deflate-ruby Public

   Implementation of PKZip and Deflate in Ruby (decompression only)

   Ruby 2

6. magic-pinyin magic-pinyin Public

   Chinese font(s) with Pinyin ligatures

   Python 1