cargo / mathscape-emergence
mathscape-emergence 0.1.13
RisknoneVulnsnone- processes
- 457
- operations
- 9.6K
- packages
- 37
- compiler runs
- 32
- connections
- 1
- job time
- 44s
- capture
- 132 KB
- records
- 17K
- bytes / record
- 7.6
Operators and laws emerging from bare lambda terms: enumerate, observe, name, conjecture, certify
Artifact
- libmathscape_emergence.rlibfile · retained · product
Checks
13 of 14 clear Build-time dependency advisoriesBuild behavior✓✓✓✓✓✓✓✓
Supply chain✓▲✓✓✓
Pipeline✓
Detections
0No detections
No abnormal activity detected across 9.6K flows.
Network
1 peers- static.crates.io:8080 ecosystem
| Dependencies37 | Build behaviour |
|---|---|
| arrayref0.3.9 | |
| arrayvec0.7.6 | |
| bincode1.3.3 | |
| blake31.8.3 | |
| cc1.2.56 | |
| cfg-if1.0.4 | |
| constant_time_eq0.4.2 | |
| cpufeatures0.2.17 | |
| dyn-clone1.0.20 | |
| find-msvc-tools0.1.9 | |
| itoa1.0.17 | |
| ld-linux-x86-64.so.2 | |
| libc0.2.182 | |
| libc.so.6 | |
| libgcc_s.so.1 | |
| libm.so.6 | |
| libmvec.so.1 | |
| mathscape-core0.1.13 | |
| mathscape-kernel0.1.13 | |
| memchr2.8.0 | |
| proc-macro21.0.106 | |
| quote1.0.45 | |
| schemars0.8.22 | |
| schemars_derive0.8.22 | |
| serde1.0.228 | |
| serde_core1.0.228 | |
| serde_derive1.0.228 | |
| serde_derive_internals0.29.1 | |
| serde_json1.0.149 | |
| shlex1.3.0 | |
| syn2.0.117 | |
| tatara-lisp0.3.4 | |
| tatara-lisp-derive0.3.4 | |
| thiserror2.0.18 | |
| thiserror-impl2.0.18 | |
| unicode-ident1.0.24 | |
| zmij1.0.21 |
1 of 1 jobs captured: build-test success · Generated 2026-10-18 · run 48bab32b-7648-4240-9ddc-81279b1bc7b4
analysis 0.1.0 · 2026-10-17 · 0abbde9 · graph v2