A performant and modular zkVM framework built for customization and extensibility.

Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs

🧬 Inscribe trusted naming and service database on the Bitcoin network.

Trac Core Reader for TAP Protocol

The fantastic ORM library for Golang, aims to be developer friendly

A go implementation of Verkle trees

Open Protocol Indexer, OPI, is the best-in-slot open-source indexing client for meta-protocols on Bitcoin.

zkBitcoin: zero-knowledge proofs on Bitcoin!

A Go package for media type and file extension detection, based on magic numbers

API server and index synchronizer for ordinals inscriptions

golang ordinals btc nft inscribe tx

UniSat Indexer (brc-20) library

Python grammar for tree-sitter

Solve symbolically defined systems of non-linear equations numerically.

A hardware acceleration library for compute intensive cryptography 🧊

Symbolic formula representation and solver interaction library

A symbolic testing tool for EVM smart contracts

A fast TOML library for python implemented in rust.

Build UniswapV2 with Solidity 0.8+ and hardhat stack

homebrew (macOS) packages for RISC-V toolchain

A PoC for the CVE-2022-44268 - ImageMagick arbitrary file read

Simple Python interface for Graphviz