Assertions and active code annotations
Foundational graph automaton with temporal state evolution and rule-driven transitions
Draw in terminal
AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Rust implementation of the A3 (Amino Acid Annotation) format — parse, validate, and inspect A3 JSON files
A secure, high-performance messaging protocol library
Pure-Rust Fuzzy Inference System (Mamdani + TSK) with PSO optimizer — zero external dependencies
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.
Persistent memory, hybrid search, and code intelligence for Claude Code and Codex — with CLI, lifecycle hooks, and MCP
Prometheus metrics and observability for CeleRS
TRIBE v2 — multimodal fMRI brain encoding model inference in Rust
Wav2Vec-BERT 2.0 audio feature extraction for TRIBE v2 (RLX / rlx-models)
No description provided.
No description provided.