nanne007

opencore-z390p-9600k

opencore hackitosh for my desktop

asdf-sbt

SBT plugin for https://github.com/asdf-vm/asdf/

applied-ml

📚 Papers & tech blogs by companies sharing their work on data science & machine learning in production.

avalanchego

Go implementation of an Avalanche node.

awesome-starknet

A curated list of awesome StarkNet resources, libraries, tools and more

best_AI_papers_2022

A curated list of the latest breakthroughs in AI (in 2022) by release date with a clear video explanation, link to a more in-depth article, and code.

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cape

Configurable Asset Privacy for Ethereum

coreth

Code and wrapper to extract Ethereum blockchain functionalities without network/consensus, for building custom blockchain services.

ethers-rs

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

extism

Extend anything with WebAssembly.

futures-concurrency

Structured concurrency operations for async Rust

libra

Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.

mmb

Trading bot implemented in Rust, with market making and strategy automation for any exchange or blockchain.

move

proof-systems

The proof systems used by Mina

reth

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

snarkVM

A Virtual Machine for Zero-Knowledge Executions

starcoin

A Layered Cryptocurrency and Decentralized Blockchain System.

triton-vm

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

v1-core

Core smart contracts of AnimeSwap v1

zero-knowledge-gadgets

Zero-knowledge gadgets for Webb's cross-chain blockchain applications.

AIPs

Aptos Improvement Proposals (AIPs)

aptos-core

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

chiquito

DSL for Halo2 circuits

halo2-verifier.move

A set of tooling of halo2 circuits verification in Move environments

headscale

An open source, self-hosted implementation of the Tailscale control server

noir

Noir is a domain specific language for zero knowledge proofs

plonky2

zklogin-circuit

Circuit repo for zklogins