Kani model-checking proofs for elicitation contract types
A pure-Rust implementation of Schnorr signatures with a PLONK circuit module additionally
A pure-Rust implementation of Schnorr signatures with a PLONK circuit module additionally
Core bootloader library for tinyboot
Categorical foundations unifying symplectic mechanics and agent behaviors
AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `use axon::*` so existing call sites keep working unchanged.
Pure-Rust AV1 codec — orphan-rebuild scaffold pending clean-room re-implementation.
JObfuscator is a source code obfuscator for the Java programming language. Obfuscate and protect your Java source code and algorithms from hacking, cracking, reverse engineering, decompilation, and technology theft. JObfuscator provides advanced Java source code parsing based on AST trees, multiple advanced obfuscation strategies are available.
A highly parallel Perl 5 interpreter written in Rust
Generate git commit messages from staged diffs using Claude.
Fast symbolic differentiation library for Rust
An implementation of Anonymous Credit Tokens, an online variant of e-cash