Skip to content
Open-Source Registry

cargo / axiom-forge

axiom-forge 0.1.1

bitbison: clean, with notes, behavior clean, dependencies notes, posture not checked, pipeline clean, 1 of 1 jobs captured RisknoneVulnsnone
processes
520
operations
15K
packages
77
compiler runs
39
connections
1
job time
51s
capture
208 KB
records
28K
bytes / record
7.5

Lisp → Rust axiom generation with invariant proofs. The self-hosting primitive layer.

Build behaviourcompiled C/C++

90 downloads · MIT · published 2026-10-15 · source View on crates.io

Artifact

file · retained · product · graph v2
1

Checks

13 of 14 clear Build-time dependency advisories
Build behavior✓✓✓✓✓✓✓✓
Supply chain✓▲✓✓✓
Pipeline✓

Detections

0

No detections

No abnormal activity detected across 15K flows.

Network

1 peers
  • static.crates.io:8080 the package manager · cargo (axiom-forge) via crates.io · 4,191 files · went into an output ecosystem
Dependencies80Build behaviour
arrayvec0.7.8
autocfg1.5.1
bit-set0.11.1
bit-vec0.10.1
bitflags2.13.2
blake31.8.7build script
borsh1.8.1build script, not run
borsh-derive1.8.1proc macro
bytes1.12.1
cc1.8.0
cfg-if1.0.5
cfg_aliases0.2.2
chacha200.10.2
constant_time_eq0.4.2
core_detect1.0.0
cpufeatures0.3.1
equivalent1.0.3
errno0.3.14
fastrand2.5.0
find-msvc-tools0.1.14
fnv1.0.7
getrandom0.4.3build script
hashbrown0.17.1
iac-forge0.1.6
indexmap2.14.2
itoa1.0.18
ld-linux-x86-64.so.2system library
libc0.2.190build script
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
linux-raw-sys0.12.1
meimei0.1.1
memchr2.8.3
num-traits0.2.19build script
once_cell1.21.4
openapi-forge0.1.7
pleme-io-takumi0.1.5
proc-macro-crate3.5.0
proc-macro21.0.107build script
proptest1.12.0
quick-error1.2.3
quote1.0.47build script
r-efi6.0.0
rand0.10.3
rand_core0.10.1
rand_xorshift0.5.0
regex-syntax0.8.11
rustix1.1.5build script
rusty-fork0.3.1
ryu1.0.23
sekkei0.1.3
serde1.0.229build script
serde_core1.0.229build script
serde_derive1.0.229proc macro
serde_json1.0.154build script
serde_spanned0.6.9
serde_yaml_ng0.10.0
shlex2.0.1
syn3.0.9
tempfile3.27.0
thiserror2.0.21build script
thiserror-impl2.0.21proc macro
toml0.8.23
toml_datetime0.6.11
toml_datetime1.1.2+spec-1.1.0
toml_edit0.22.27
toml_edit0.25.17+spec-1.1.0
toml_parser1.1.5+spec-1.1.0
toml_write0.1.2
unarray0.1.4
unicode-ident1.0.27
unsafe-libyaml0.2.11
wait-timeout0.2.1
windows-link0.2.1
windows-sys0.61.2
winnow0.7.15
winnow1.0.4
zmij1.0.23build script
Versions1RiskVulnsPublished
0.1.1nonenone2d ago

Raw data

capture
208 KB
records
27,859
bytes per record
7.5

Loading a sample of the capture

Want to see more? E-mail us at hello@bitbison.io about your use case.

1 of 1 jobs captured: build-test success · Generated 2026-10-17 · run 591c19ae-5e33-4fdb-ae5f-0c7fa1302e43

analysis 0.1.0 · 2026-10-16 · e987d53 · graph v2