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