si — Search — Bitbison Registry

Packages5,221–5,250 of 7,489	Version	Risk	Vulns	Description	Downloads	When
publet-algorithms cargo	0.2.0	none	none	Generic algorithms publet is built on: an RFC 6962 Merkle log, sorted-set membership with absence proofs, recursive content trees, exact fixed-point…	9	6d ago
hekate-math cargo	0.12.1	none	none	Formally verified binary tower fields (F(2^k) to F(2^256)), constant-time by default, with hardware carry-less multiplication. For Sumcheck, GKR-based provers,…	1.8K	6d ago
sp1-recursion-gnark-cli cargo		– 6.9.0 did not build	–	CLI for SP1 Gnark proof generation	32K	6d ago
sp1-recursion-circuit cargo	6.9.0	8	none	Recursion circuit for SP1 proof aggregation	2M	6d ago
sp1-recursion-gnark-ffi cargo	6.9.0	8	none	FFI bindings to Gnark for SP1	2M	6d ago
sp1-recursion-machine cargo	6.9.0	none	none	Machine definitions for SP1 recursion	550K	6d ago
sp1-recursion-compiler cargo	6.9.0	8	none	Compiler for SP1 recursion circuits	2M	6d ago
sp1-recursion-executor cargo	6.9.0	none	none	Executor for SP1 recursion programs	550K	6d ago
lys-core cargo	0.3.1	none	none	Domain-agnostic cryptographic trust primitives — certificate authority, Merkle transparency log, signed attestations, sealed envelopes, and Ed25519 key…	155	6d ago
kibisis cargo	0.1.0-alpha.2	none	none	Local-first encrypted cognitive memory vault with atomic concurrency leases.	8	6d ago
harpe cargo	0.1.0-alpha.2	none	none	Deterministic context synthesis and token budgeting for cognitive AI agents.	8	6d ago
detamu cargo	0.2.0	none	none	Embeddable versioned world-model engine for agents and developer tools	1.5K	6d ago
slop-multilinear cargo	6.9.0	none	none	Multilinear polynomial extensions for SLOP	582K	6d ago
slop-tensor cargo	6.9.0	none	none	N-dimensional tensor operations for polynomial proof systems	583K	6d ago
arduino-report-size-deltas cargo	1.2.2	none	none	Post a comment on the pull request with a report about the change in memory usage of Arduino sketches	4.0K	6d ago
slop-challenger cargo	6.9.0	none	none	Fiat-Shamir challenger with SP1-specific extensions for SLOP	720K	6d ago
pqsio cargo		– 0.2.5 did not build	–	Shared pairs and concat PQS storage for Rust, C, C++ and Python	8	6d ago
nordisk-twin cargo	0.1.0	none	none	A box's twin over mutual TLS 1.3: the primary's own persistent replication issuer, a client certificate issued from the twin's own request (proof of…	8	6d ago
fraiseql-auth cargo	2.16.0	none	none	Authentication, authorization, and session management for FraiseQL	1.3K	6d ago
nornir-auth-sshsig cargo	0.1.0	none	none	Per-call SSH-signature (SSHSIG) credentials for gRPC control planes, product-neutral: the credential a caller signs with its own OpenSSH key (method-bound,…	8	6d ago
estate-front cargo	0.1.0	none	none	What an estate's FRONT (vm1) does that is no product's: its own HTTPS (the certificate fed, kept or from ACME HTTP-01 in-process, the hand-over to its…	6	6d ago
rllvm-core cargo	0.7.0	none	none	Core library for rllvm: argument classification, bitcode capture and catalogs	109	6d ago
estate-clock cargo	0.1.0	none	none	The estate's wall clock: HTTPS-Date / SNTP / signed-peer time, one quorum rule, step-or-slew, a report a control plane can serve, and the front's signed-time…	8	6d ago
edda-admit cargo	0.1.0	none	none	The ONE admission trait for the nordisk suite — `Admit::plan` (what this work would cost, which class it gets, and a sentence saying why), `Admit::admit` (a…	8	6d ago
cli-engine cargo	0.10.1	none	none	Rust CLI framework for consistent command modules	5.9K	6d ago
disk-snapshot cargo	0.1.1	none	none	What an appliance's disks hold, read the cheap way: every storage mount (/proc/self/mounts, pseudo filesystems left out), one statvfs(3) per mount (total /…	8	6d ago
lvz-schedule cargo	0.4.2	none	none	Scheduled, unconditional actions for the Lavoisier agent — a UTC cron engine plus a job registry that fires direct tool calls or prompt turns and keeps…	287	6d ago
kelora cargo	2.2.1	none	1	A command-line log analysis tool with embedded Rhai scripting	5.1K	6d ago
bsv-low-wire cargo	0.1.0	none	none	LOW relay wire protocol: signed envelopes with seat binding, sequence monotonicity and transcript-hash chaining over an untrusted relay. Pure Rust, native and…	11	6d ago
pubrel cargo	0.5.0	none	none	Version packages by what changed, and record each release as a version of a package publet.	9	6d ago

Search 7,489 packages