Library to calculate the IPL3 checksum for N64 ROMs
A from-scratch deep learning library in Rust — tensors, autograd, NEON SIMD, Metal GPU, and working models
Safety-critical cognitive safety library for AI agents. 4-tier architecture (Resource Body, Kernel, Working Memory, Sifter) with formal verification primitives, detection layer, and integration primitives.
Rust-powered CLI for codebase intelligence: stack detection, architecture hints, LOC breakdown, repo maps, and dead-code heuristics.
Amplitude analysis made short and sweet
Python bindings for laddu
Main entry point crate for a collection of plain calibration target detectors built on top of ChESS corners
Rust bindings for the Lean4 theorem prover
CLI tool to detect AI-generated code and attribute it to a model family
Detect AI-generated code and attribute it to Claude, GPT, Gemini, Copilot, or Human
High-performance, schema-agnostic, backend-agnostic event bus
High-performance, schema-agnostic, backend-agnostic event bus