ghasshee Goto Github PK

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

certicoq

A Verified Compiler for Gallina, Written in Gallina

coq

coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

coq.vim

A simple Vim plugin for the Coq Proof Assistant

coq2html

An HTML documentation generator for Coq source files

dcgan_code

Deep Convolutional Generative Adversarial Networks

echo

The Echo system, designed by John Holland, implemented at the Santa Fe Institute

eips

The Ethereum Improvement Proposal

emscripten

Emscripten: An LLVM-to-JavaScript Compiler

eth2.0-specs

Ethereum 2.0 Specifications

ethereumbook

Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

ethlist

The Comprehensive Ethereum Reading List

evm

freebsd

FreeBSD src tree

gauth

A simple application for multi-factor authentication, written in HTML using jQuery Mobile, jsSHA and LocalStorage.

ghasshee.github.io

haskell

hott_book

A textbook on informal homotopy type theory

hwk

A Haskell based awk and sed alternative

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

jaspervdj

Source code of my personal home page.

javascript-in-one-pic

Learn javascript in one picture.