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/pen
A compiler into EVM code
ghasshee/evm
ghasshee/paper-template
Templates for paper submissions
ghasshee/aleth
Aleth – Ethereum C++ client, tools and libraries
ghasshee/bitcoin-spv-wallet
ghasshee/Blockchain
Compilation of useful documents and scientific papers about Blockchain & cryptocurrencies.
ghasshee/certicoq
A Verified Compiler for Gallina, Written in Gallina
ghasshee/coq
ghasshee/coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
ghasshee/coq.vim
A simple Vim plugin for the Coq Proof Assistant
ghasshee/coq2html
An HTML documentation generator for Coq source files
ghasshee/EIPs
The Ethereum Improvement Proposal
ghasshee/eth2.0-specs
Ethereum 2.0 Specifications
ghasshee/ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
ghasshee/EthList
The Comprehensive Ethereum Reading List
ghasshee/ghasshee.github.io
ghasshee/Haskell
ghasshee/hwk
A Haskell based awk and sed alternative
ghasshee/jaspervdj
Source code of my personal home page.
ghasshee/js-ui
Shared UI components for the Parity wallet & dapps
ghasshee/LinuxProgramming
Repository for Learning Linux Programming Interface
ghasshee/nand2tetris
ghasshee/nanocoin
A simple cryptocurrency implementation, written to illustrate the basic components of a Proof-of-Work based, public distributed ledger.
ghasshee/nixos
configuration files for building nixos
ghasshee/nixpkgs
Nix Packages collection
ghasshee/Python
All Algorithms implemented in Python
ghasshee/raytracing.github.io
Main Web Site (Online Books)
ghasshee/star_semiring
*semiring library for Coq
ghasshee/truffle-init-webpack
Example webpack-based app for Truffle (boilerplate)
ghasshee/truffle-webpack-demo
A demo Webpack + React App using truffle-solidity-loader