Packages

Module and name resolution.

Fact-backed candidate retrieval sidecar for bonsai-ninja.

Embedded default security rulepack for bonsai-ninja.

Ergonomic facade SDK for bonsai-ninja.

Security rulepack loader, matcher, and source/sink/sanitizer wrapper for bonsai-ninja.

Taint reachability analysis over resolved flow chains.

Trace result + renderers.

Virtual filesystem, overlays, and incremental edits.

Top-level workspace container + public library API.

A from-scratch, dependency-light, dequant-free Bonsai (Qwen3-architecture) Q1_0 inference engine running on wgpu compute shaders

An HTTP REST API server to mock the Bonsai-alpha prover interface.

Tree representations of high-dimensional data under Brownian motion. A clean-room Rust implementation of the Bonsai algorithm for single cell and computational biology applications.

Bonsai Software Development Kit

Grammar contract harness for bonsai-lint language crates

Intuitive Git worktree management CLI

A programmable, ACID-compliant, document-database inspired by CouchDB.

Client for accessing BonsaiDb servers.

Core functionality and types for BonsaiDb.

Efficient large file storage for BonsaiDb

BonsaiDb `VaultKeyStorage` using S3-compatible storage.

Local database storage for BonsaiDb.

Macros for use in BonsaiDb

Database server for BonsaiDb.

Utilities used within BonsaiDb.

Message/job queue based on bonsaidb, similar to sqlxmq.

A bounded-memory SAT/SMT solver for microcontrollers: Z3-compatible outside via an SMT-LIB2 subset, running on 512KB-class MCUs inside.

Solana channel to Bonsol

Anchor Interface definitions for Bonsol

Cli For Bonsol

Interface definitions for Bonsol

Zero-knowledge proof generation for Bonsol

Bonsol types and schema definitions

SDK for interacting with Bonsol protocol

An abstraction for optimizing the memory layout and pointer aliasing of trees.

An isolated, shoddy, no_std copy of Cow pointer from liballoc - credits to rust team

An implementation of ZKBoo

Encrypt primitives types at compile time

A booby is a seabird in the genus Sula, part of the family Sulidae. Boobies are closely related to the gannets (Morus), which were formerly included in Sula.

Detect and Act on unauthorized access of any kind from any source.

A Brainfuck interpreter, and also a dog

An API for constructing and verifying Boogie programs.

Embedded in-place B+ tree storage engine with WAL, per-table concurrency, secondary indexes, lazy row decoding, and optional AES-256-GCM encryption and vector search. Powers the storage tier of the Boogy serverless platform (https://boogy.ai).

BooHashing: A spooktacular Rust CLI app for file hashing. Supports multiple hashing algorithms. It's hashing made easy, no tricks just treats!

Boojum cryptographic library

Boojum-CUDA is a library implementing GPU-accelerated cryptographic functionality for the zkSync prover

A fun game where you guess what number the computer has chosen.

Lock-free limit order book — price-time priority, single-writer/multi-reader snapshots, zero-allocation hot path, generational ABA safety

A unified, extensible interface for fetching book metadata from multiple providers.

Secure crypto portfolio tracker REPL

Easy and fast book searcher, create and search your private library.