ghasshee's repositories
bitcoinbook
Mastering Bitcoin - Unlocking digital currencies - Early Release Draft
Camel-Lisp
Lisp interpreter write in OCaml
dcgan_code
Deep Convolutional Generative Adversarial Networks
echo
The Echo system, designed by John Holland, implemented at the Santa Fe Institute
emscripten
Emscripten: An LLVM-to-JavaScript Compiler
freebsd
FreeBSD src tree
gauth
A simple application for multi-factor authentication, written in HTML using jQuery Mobile, jsSHA and LocalStorage.
HoTT_book
A textbook on informal homotopy type theory
ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
ipc_solver
O(N log N)-space IPC solver in OCaml
javascript-in-one-pic
Learn javascript in one picture.
m17n-db
An unofficial mirror of http://git.savannah.gnu.org/cgit/m17n/m17n-db.git
Mathematics
A computational algebra system in Smalltalk.
MathJax
Beautiful math in all browsers
minigit
Minigit is a reinvention of git
ocaml
The core OCaml system: compilers, runtime system, base libraries
parity
Ethcore implementation
redox
Redox: A Rust Operating System
sheafification
Sheafification functor in type theory
tfs
Next Generation File System