MrChico

verifyIPFS

Solidity library for verifying IPFS hashes

stablecoin.services

A gas free offering of common Dai and Chai operations

rnbostuff

massiboston

CompMeta

Exercises in computational metaphysics

erc20-example

Videos here: https://www.youtube.com/playlist?list=PLYSZ-f9LCH3sEf0UKTLCaZErJeQtK7GCD

evmbench

arduinostuf

asdasd

"PHOTORAMA" template for Jekyll

enzyme-v2-check-tokens

PCO

tinlake

bringing individual, non-fungible assets to DeFi

Tone.js

A Web Audio framework for making interactive music in the browser.

atomicfruit.baby

dss-add-ilk-spell

Spell template for adding a new collateral type

EIPs

The Ethereum Improvement Proposal repository

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

go-ethereum

Official golang implementation of the Ethereum protocol

guanxi

Relational programming in Haskell. Mostly developed on twitch.

harbergernator

lighthouse

Rust Ethereum 2.0 Client

nixpkgs

Nix Packages collection

PAL_landing_page

radicle-contracts

Radicle contracts on Ethereum

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

solidity-blog

Collection of articles about the Solidity language and compiler

spells-kovan

tinlake-maker-lib

turbo-geth

usb

Self contained USB and HID library for Go