An agentic-first GUI framework with pluggable rendering backends and complete ontology for AI agent discoverability
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 CLI tool to find and display TODO-style comments in your codebase
Macro magic to replace all instances of `Self` in a token tree
Vim-grammar TUI editor with batteries included — tree-sitter, multi-server LSP, DAP, multi-cursor, sessions, single binary, no plugin system.
Workspace hack management and package/feature query
Hack for multiple versions of getrandom in the multi-party-ecdsa dependency tree
Hack for multiple versions of getrandom in the multi-party-ecdsa dependency tree
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 red-black tree and set with callbacks
Zed editor extension that provides syntax highlighting for TODO-style comments and integrates with the todo-tree CLI via tasks.
This package implements a basic version of the PQ-Grams tree-edit-distance approximation algorithm, as generically as possible. It defines traits that you can define for your label-types and tree-types, to use custom types with the algorithm. It also defines a basic generic Tree type for string or integer leaf types that is easy to build with, and compatible with the algorithm.