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 highly parallel Perl 5 interpreter written in Rust
A Tauri plugin for WebDriverIO testing with execute and mocking capabilities
Find static mutation-exposure gaps before expensive mutation testing
Mocksmith is a command line utility and a Rust library to automatically create C++ mocks for the Google Mock (gMock) framework.
Thread-safe clock abstractions for Rust: monotonic clocks, mock testing, high-precision time meters, and timezone support
Lightweight, deterministic natural language date/time preprocessor — no ML, no clock fragility.
A package for interacting with the Mito Protocol
Aptos consensus
Injectorpp is a powerful tool designed to facilitate the writing of unit tests without the need to introduce traits solely for testing purposes. It streamlines the testing process by providing a seamless and efficient way to abstract dependencies, ensuring that your code remains clean and maintainable.
RRQ producer client for enqueuing jobs into Redis.
Rust SDK Client for Microsoft Graph and Microsoft Identity Platform
No description provided.
No description provided.
No description provided.