Popular repositories Loading

1. python-udevadm-monitor python-udevadm-monitor Public

   launch udevadm monitor process and yield information about devices added and removed by udev

   Python 1

2. z3-rust z3-rust Public

   High level bindings for the Microsoft's Z3 SMT solver.

   Rust 1

3. shared-formula shared-formula Public

   simplification of boolean formulae: hash consing, boolean laws

   Haskell 1

4. online-chess online-chess Public

   Forked from anicu/online-chess

   The best chess ever made by the best people ever !!! U can't avoid playing that.

   Ruby

5. dotfiles dotfiles Public

   configuration files for various programs

   Vim Script

6. ufo-vs-meteors ufo-vs-meteors Public

   simple game using python pygame library

   Python