Pinned Repositories
agda-mode
Mirror of the Emacs agda-mode that comes in the release tar ball
aleth
Aleth – Ethereum C++ client, tools and libraries
bitcoin-spv-wallet
bitcoinbook
Mastering Bitcoin - Unlocking digital currencies - Early Release Draft
Blockchain
Compilation of useful documents and scientific papers about Blockchain & cryptocurrencies.
c-subset
Camel-Lisp
Lisp interpreter write in OCaml
evm
paper-template
Templates for paper submissions
pen
A compiler into EVM code
ghasshee's Repositories
ghasshee/agda-mode
Mirror of the Emacs agda-mode that comes in the release tar ball
ghasshee/bitcoinbook
Mastering Bitcoin - Unlocking digital currencies - Early Release Draft
ghasshee/c-subset
ghasshee/Camel-Lisp
Lisp interpreter write in OCaml
ghasshee/dcgan_code
Deep Convolutional Generative Adversarial Networks
ghasshee/echo
The Echo system, designed by John Holland, implemented at the Santa Fe Institute
ghasshee/emscripten
Emscripten: An LLVM-to-JavaScript Compiler
ghasshee/freebsd
FreeBSD src tree
ghasshee/gauth
A simple application for multi-factor authentication, written in HTML using jQuery Mobile, jsSHA and LocalStorage.
ghasshee/HoTT_book
A textbook on informal homotopy type theory
ghasshee/ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
ghasshee/ipc_solver
O(N log N)-space IPC solver in OCaml
ghasshee/javascript-in-one-pic
Learn javascript in one picture.
ghasshee/m17n-db
An unofficial mirror of http://git.savannah.gnu.org/cgit/m17n/m17n-db.git
ghasshee/Mathematics
A computational algebra system in Smalltalk.
ghasshee/MathJax
Beautiful math in all browsers
ghasshee/minigit
Minigit is a reinvention of git
ghasshee/ocaml
The core OCaml system: compilers, runtime system, base libraries
ghasshee/parity
Ethcore implementation
ghasshee/redox
Redox: A Rust Operating System
ghasshee/sheafification
Sheafification functor in type theory
ghasshee/tfs
Next Generation File System
ghasshee/yellowpaper