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.
Yet another, _blazingly fast_ dotfiles manager, one that supports multiple environments, and respects the Git configuration of the dotfiles repository.
Official NMD CLI and compiler
Dossiers: A home for your specs, policies, and process docs
This package provides tools for image processing with a focus on edge detection and morphological transformations
Scope Blockchain Analysis - A production-grade tool for blockchain data analysis, address management, and transaction investigation
Scope Blockchain Analysis - Command-line interface library
Scope Blockchain Analysis - Core library for blockchain data analysis
Un kernel d'inférence IA universel, asynchrone, agnostique et local-first (0 réseau) en Rust.
System URI handler for portal.nvim — forwards nvim:// URIs to a running Neovim instance via RPC
Bibliothèque Rust moderne et sûre pour l'API COM Objets Métier Sage 100c - Production Ready
A beautiful terminal portfolio tracker with real-time prices, charts, and market data