Name		Name	Last commit message	Last commit date
Latest commit History 74 Commits
.claude		.claude
.github		.github
.hypatia		.hypatia
.machine_readable		.machine_readable
.well-known		.well-known
contractiles		contractiles
crates		crates
docs		docs
examples		examples
ffi/zig		ffi/zig
src		src
verification		verification
.editorconfig		.editorconfig
.envrc		.envrc
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
.guix-channel		.guix-channel
.tool-versions		.tool-versions
0-AI-MANIFEST.a2ml		0-AI-MANIFEST.a2ml
ABI-FFI-README.md		ABI-FFI-README.md
Adjust.a2ml		Adjust.a2ml
CHANGELOG.md		CHANGELOG.md
CONTRIBUTING.md		CONTRIBUTING.md
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
Dust.a2ml		Dust.a2ml
EXPLAINME.adoc		EXPLAINME.adoc
Intend.a2ml		Intend.a2ml
Justfile		Justfile
LICENSE		LICENSE
Must.a2ml		Must.a2ml
QUICKSTART-DEV.adoc		QUICKSTART-DEV.adoc
QUICKSTART-MAINTAINER.adoc		QUICKSTART-MAINTAINER.adoc
QUICKSTART-USER.adoc		QUICKSTART-USER.adoc
README.adoc		README.adoc
ROADMAP.adoc		ROADMAP.adoc
SECURITY.md		SECURITY.md
TEST-NEEDS.md		TEST-NEEDS.md
TOPOLOGY.md		TOPOLOGY.md
Trust.a2ml		Trust.a2ml
contractile.just		contractile.just
flake.lock		flake.lock
flake.nix		flake.nix
guix.scm		guix.scm
llm-warmup-dev.md		llm-warmup-dev.md
llm-warmup-user.md		llm-warmup-user.md
setup.sh		setup.sh
stapeln.toml		stapeln.toml