GrapeBaBa

rust_cpu_emulator

A bogus CPU emulator written in Rust.

evm_mlir

An EVM written with MLIR

ZKP

dafny

Dafny is a verification-aware programming language

sonobe-btc

Using folding schemes for a provable bitcoin light client

nomt

portal-spec-tests

WTF-zk

零知识证明入门教程。

design-docs

revm

Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity

diffur

A simple TUI to assist in diffing bodies of text

hashsigs

lia

A high-level language for Rust

limbo

Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

june

zig-verkle

peerdas-kzg

assertoor

Ethereum Testnet Testing Tool

puter

🌐 The Web OS! Free, Open-Source, and Self-Hostable.

compio

A thread-per-core Rust runtime with IOCP/io_uring/polling.

jextract

https://openjdk.org/projects/code-tools

risc0-ethereum

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

tribler

Privacy enhanced BitTorrent client with P2P content discovery

nimble

New file format for storage of large columnar datasets.

tuweni

Tuweni is a set of libraries and other tools to aid development of blockchain and other decentralized software in Java and other JVM languages. It includes a low-level bytes library, serialization and deserialization codecs (e.g. RLP), various cryptography functions and primatives, and lots of other helpful utilities.

ephemery-scripts

ephemery-resources

Resources and project management of Ethereum ephemeral testnet

eth-nodes

Compasable, Reproducible builds for Ethereum Ecosystem (currently only Debian)

ziggeth

Zig implementation of the Ethereum protocol

ckb-nim

Nim on CKB VM