Unique linear types for rust
Cem language compiler - A concatenative language with green threads and linear types
Typed Linear integration for Leash
Safe Rust wrappers for formally verified Proven library via pure Zig FFI
Wrap C codebases in ATS linear types for zero-cost memory safety without rewrites
Enforce single-use linear type semantics on resources in existing code via Ephapax
Intermediate representation (IR) and AST types for TensorLogic
Raw FFI bindings to pure Zig implementation of Proven library (formally verified)
A CLI tool that renders motion design videos from JSON scenarios. No browser, no Node.js — just a single Rust binary.
Command-line interface for the Categorical Semantics Workbench
Core categorical structures for the Categorical Semantics Workbench - define categories and derive type systems
Type system derivation engine for the Categorical Semantics Workbench - derive type theories from categorical structures
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.