Difficulty and performance calculation for osu!
osu! pp & stars calculation. Peace edition
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.
A secure, high-performance messaging protocol library
Codex and Claude Code telemetry/usage parser, aggregate JSONL events into CodeAnalysis results
Convert OMG KeBNF grammars to ANTLR4 and tree-sitter -- parses all 640 KerML + SysML v2 rules
Convert OMG KeBNF grammars to ANTLR4 and tree-sitter -- parses all 640 KerML + SysML v2 rules
A widget library built for Bevy, in Bevy.
Utility for managing emulator ROM files.
Arrow-native graph processing engine with SQL interface
An ultra-fast and memory-efficient toolkit for querying GFF files, written with Rust
Platform-agnostic OpenGL terminal renderer using glow