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
The helios-fhir crate is the comprehensive FHIR (Fast Healthcare Interoperability Resources) specification model implementation that contains strongly-typed Rust representations of all FHIR data types, and resourcess for each supported version of the FHIR specification.
Easy to use library for node editor types, generics, inference and validation
A library of dialect specific SQL Functions
Advanced Rust code virtualization and obfuscation framework
OCaml (subset) to LLVM IR compiler front-end
A high-performance, modular library for weighted finite state transducers with comprehensive examples and benchmarks
Easy polymorphism with enums
L1 Intermediate Representation
This is an implementation of HL7's FHIRPath Specification.
Allows the *_type field in the DB to be an integer rather than a string
Does the same as https://github.com/clio/polymorphic_integer_type but without monkey-patching, using ActiveRecord::Enum instead.