panks - Overview
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 192 63
Minimal and responsive Octopress theme
JavaScript 107 17
An Implementation of BigInteger library in C++
C++ 97 60
Formal concept analysis lattice generation and query in Python
Python 13 4
Symbolic Integration in Lisp
Common Lisp 7
Hexagonal Chess in Prolog
Prolog 2 1