Classic stylesheets for web applications.

Type-safe, lightweight SDKs for Ethereum smart contracts

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

A new coordination layer for communities to surface and prioritize shared goals.

Distribute and run LLMs with a single file.

Audited & minimal JS implementation of hash functions, MACs and KDFs.

A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.

Micropolis Legacy for vintage Unix using SimCity assets

Test cases for EdDSA signature verification edge cases

A RISC-V emulator, specifically the RV32I base integer instruction set.

rv32/64imac emulator

An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.

RISCU emulator and zk circuit simulator as a reference for a Jolt implementation

A simple RISC-V emulator written in rust. Supports the entire RV32IM instruction set. Integrated debugger. Does not support dynamic linking

zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA

A tiny C header-only risc-v emulator.

A software implementation of a RISC-V computer

RISC-V simulator for x86-64

🏌🏼‍E2E testing for dApps using Playwright + MetaMask & Coinbase Wallet

Lightweight Durable Python Workflows

Secret Bids is an on-chain privacy-preserving auction platform that allows auctioneers to launch secret auctions to sell their tokens/NFT

Source code verification service for Ethereum smart contracts

Accelerate Early Stage Programmable Cryptography Talents

JavaScript Deoxys-II-256-128