Popular repositories Loading

1. Xv6 Xv6 Public

   Xv6 is a teaching operating system developed in the summer of 2006 for MIT's operating systems course, 6.828: operating systems Engineering.

   C 189 65

2. fabric fabric Public

   Minimal and responsive Octopress theme

   JavaScript 107 17

3. BigInteger BigInteger Public

   An Implementation of BigInteger library in C++

   C++ 96 60

4. FCA-Python FCA-Python Public

   Formal concept analysis lattice generation and query in Python

   Python 13 4

5. Symbolic-Integration-Lisp Symbolic-Integration-Lisp Public

   Symbolic Integration in Lisp

   Common Lisp 7

6. hexChess hexChess Public

   Hexagonal Chess in Prolog

   Prolog 2 1