- Rust 97.3%
- Ada 1.6%
- Shell 0.7%
- Python 0.3%
| .agents/skills | ||
| .claude/skills | ||
| .config | ||
| .github | ||
| apps/campaign | ||
| conformance | ||
| crates | ||
| docs | ||
| nix | ||
| tools | ||
| work | ||
| .envrc | ||
| .gitignore | ||
| AGENTS.md | ||
| book.toml | ||
| Cargo.lock | ||
| Cargo.toml | ||
| CLAUDE.md | ||
| clippy.toml | ||
| deny.toml | ||
| devenv.lock | ||
| devenv.nix | ||
| devenv.yaml | ||
| flake.nix | ||
| LICENSE | ||
| README.md | ||
| rust-toolchain.toml | ||
adtb
A database engine with native sum types at the value and relation levels. Written in Rust, with its own storage engine and a comprehension-based query language.
Development
Use Linux with Nix and devenv. From a clone, run:
devenv shell
jj git init --colocate
cargo build --workspace
work/tools/suite
If you cloned with jj git clone, skip jj git init --colocate.
Run check in the dev shell for the full checks.
See development setup for prerequisites, optional direnv and editor integration, disk-space settings, and moving work between machines. Project tools are listed in AGENTS.md.
Documentation
- User manual: getting started and language usage.
- Specification: observable language and database behaviour.
- Subsystem contracts: interfaces between engine components.
- Implementation plan.
- Tickets: tracked work and ticket conventions.
- Knowledge base: research facts and sources.
- Design space: questions, prior art and adopted rulings;
run
quandary statusthere to see the frontier.
Coding agents
Read AGENTS.md before working in the repository. It contains the shared instructions, commands and project conventions. Harnesses that do not discover it automatically can be pointed at it explicitly.
Reusable workflows live in .agents/skills/; read their
SKILL.md files directly if your harness has no skill loader. Claude Code
entry points import or reference these shared files.