Skip to content
Open-Source Registry

cargo / litex-lang

litex-lang 1.1.1-beta

bitbison: clean, behavior clean, dependencies clean, posture not checked, pipeline clean, 1 of 1 jobs captured clean
processes
197
operations
3.3K
packages
5
compiler runs
3
connections
0
job time
1m 43s
capture
71 KB
records
6.9K
bytes / record
10.4

The Language Where Mathematics Verifies Itself

Build behaviourcompiled and nothing more

803 downloads · Apache-2.0 · source · home page · crates.io formal-verificationmathematicsprooftheorem-prover

Artifact

file · retained · product · graph v2
2

Checks

12 of 12 clear
Build behavior✓✓✓✓✓✓✓
Supply chain✓✓✓✓
Pipeline✓

Detections

0

No detections

No abnormal activity detected across 3.3K flows.

Dependencies5Build behaviour
ld-linux-x86-64.so.2system library
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library

Raw data

capture
71 KB
records
6,878
bytes per record
10.4

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-16 · run 7e16f7e8-4e8e-46d2-a1f0-685f6892598e

analysis 0.1.0 · 2026-10-15 · 244c7b2 · graph v2