ghasshee

pen

A compiler into EVM code

evm

paper-template

Templates for paper submissions

aleth

Aleth – Ethereum C++ client, tools and libraries

bitcoin-spv-wallet

Blockchain

Compilation of useful documents and scientific papers about Blockchain & cryptocurrencies.

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

EIPs

The Ethereum Improvement Proposal

eth2.0-specs

Ethereum 2.0 Specifications

ethereumbook

Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

EthList

The Comprehensive Ethereum Reading List

ghasshee.github.io

Haskell

hwk

A Haskell based awk and sed alternative

jaspervdj

Source code of my personal home page.

js-ui

Shared UI components for the Parity wallet & dapps

LinuxProgramming

Repository for Learning Linux Programming Interface

nand2tetris

nanocoin

A simple cryptocurrency implementation, written to illustrate the basic components of a Proof-of-Work based, public distributed ledger.

nixos

configuration files for building nixos

nixpkgs

Nix Packages collection

Python

All Algorithms implemented in Python

raytracing.github.io

Main Web Site (Online Books)

star_semiring

*semiring library for Coq

truffle-init-webpack

Example webpack-based app for Truffle (boilerplate)

truffle-webpack-demo

A demo Webpack + React App using truffle-solidity-loader