Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

simple ZKP tutorial

Hands-on Sui dApp development with Move and React. Create a voting system app. Learn smart contracts coding.

An IDO implementation using Solana Anchor

Dafny is a verification-aware programming language

Scroll zkEVM Playground

A real-mode x86 operating system that is interrupt-driven and single-tasking.

Official implementation of the Pocket Network Protocol

32-bit operating system written from scratch, with alternative user interface, designed for older computers with intention to provide system that will make them usable again

Jupiter Aggregator API Binding for Rust

Nest framework TypeScript starter ☕

Reference implementation of the OpenRarity protocol with Python.

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Code examples, data structures, and links from my book, Rust Atomics and Locks.

New version of Mt Pelerin DeFi middleware

A pure-Rust implementation of Bulletproofs using Ristretto.

zkSync era

provides metadata for chains

too make life what easier

Minimalist Web Server for Linux written in x64 Assembly

C Microkernel Realtime eXecutive

An Ethereum getBalance() Proxy in Golang

A Simple Fully Functional Firewall in Rust

A Simple Virtual Machine and Instruction Set in Rust

A Simple Distributed State Machine in Rust

A Simple Rust NFT API + Smart Contract

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

Ethereum JSON-RPC multi-transport client. Rust implementation of web3 library. ENS address: rust-web3.eth