Unofficial Homebrew tap for installing Zig nightly.

A pure zig implementation of hash based signatures inspired from the rust implementation https://github.com/leanEthereum/leanSig

Merkle tree implementation in Rust with configurable storage backends and hash functions. Fixed depth and incremental only. Optimized for fast proof generation.

bobcat-sdk is an opinionated codesize efficient Arbitrum Stylus SDK.

Zig package to interact with Ethereum

TigerBeetle Ticket Booking Example

Model Context Protocol (MCP) server that provides up-to-date documentation for the Zig programming language standard library and builtin functions

An ultra-high performance and flexible EVM. Written in zig

Prompts for our Grok chat assistant and the `@grok` bot on X.

Most simple design of a stablecoin.

A faster FaaS platform with full wasi-http compliance

A Language Server for Postgres

The StarlingMonkey JS runtime

Learn you the w3up for much win! Workshopper for learning how to use w3up - a UCAN based upload service for IPFS and Filecoin.

User Controlled Authorization Network (UCAN) Specification

🐸 a database tool for the terminal

DooM in the terminal!

Toolkit enabling the use of Zig code in JavaScript projects

A Game Boy emulator written in Rust.

Use Retro Diffusion's API to create tilesets from two textures

A simple, zero-dependency smart contract framework for Arbitrum Stylus, written in Zig

Moved to Codeberg

Ethereum Lean client in Zig (wip)

A Minimalist, High-Performance Virtual Machine in Zig

An open, technical and introductory book for the Zig programming language 📚📖

Write, compile, test and deploy Rust smart contracts on Arbitrum Stylus directy in your browser with zero setup

Checker for Lifetimes and other Refinement types