knot theory and computational algebra software

The Infernet Node is a lightweight off-chain client for Infernet responsible for fulfilling compute workloads.

Bringing off-chain compute workloads to on-chain smart contracts.

Python scripts for ETL (extract, transform and load) jobs for Ethereum blocks, transactions, ERC20 / ERC721 tokens, transfers, receipts, logs, contracts, internal transactions. Data is available in…

Solidity plugin for asdf version manager

Open protocols demand open access. Community-operated interface to the Zora Protocol.

📄 Documentation for Leo 🦁

A Decentralized Operating System for ZK Applications

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

A Setup Ceremony for Universal SNARKs

a python application that analyzes the lyrics in your top spotify songs and playlists. created with spotify, lyric genius, and paralleldots apis.

Torch implementation of neural style algorithm

Polkadot Node Implementation

Solidity contract visualisation tool

LibraBrowser

The QuantLib C++ library

Reward teammates in slack with bitcoin!

Eth2Dai is a fully on-chain marketplace for Ether and Dai

String utility functions for ethereum contracts

Dapp, Seth, Hevm, and more

Lino Core (PBFT-based DPoS) in Go. Decentralized autonomous video content economy

A curated list of projects around Ethereum analytics.

Core Lightning — Lightning Network implementation focusing on spec compliance and performance

Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates

Filecoin Full Node Implementation in Go

A curated list of academic blockchain-related papers

A curated list of crypto project trackers and analytics dashboards.

pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!