unixpi

maze-navigating-robot-ocaml

my ocaml solution to https://web.archive.org/web/20160710223335/http://tech.esper.com/2015/03/08/maze-navigation-challenge/

genetic-programming

genetic programming in ocaml

iden3-docs

iden3 documentation

rig

Robust Incentives Group

zk-proofs

ocaml and circom code to prove the satisfiability of partition problem instances with zero knowledge

dao-list

dappnodedao

data

docsify

🃏 A magical documentation site generator.

EIPs

The Ethereum Improvement Proposal repository

eth2.0-dafny

Eth2.0 spec in Dafny

eth2.0-deposit

The deposit launchpad for eth2 🦏

ethereum-org-website

Ethereum.org is a primary online resource for the Ethereum community.

gaia

Cosmos Hub

hack

Content and source code for the Aragon Developer Portal

hermeznetwork.github.io

iearn-finance

Web repository

lighthouse

Rust Ethereum 2.0 Client

logos.co

Content of logos.co website!

miksi-app

miksi-core

ethereum zk-mixer

mvp

1Hive MVP 🐝

nim-beacon-chain

Nim implementation of the Ethereum 2.0 blockchain

p2p-hacking

post--example

Example Distill article repository—clone, rename, start writing!

snarkjs

zkSNARK implementation in JavaScript

template

This is the repository for the distill web framework

urbit.org

The source for urbit.org

wiki

1Hive GitBook wiki site contents.

yearn-finance