Natural language to first-order logic pipeline
A parser for logical formulas
Propositional logic with exponentials
CLI for Modality, an evolving temporal modal logic
Compiler for transforming logic expressions into tensor computation graphs
Propositional logic with types in Rust
Intermediate representation (IR) and AST types for TensorLogic
A crate dedicated to proposition building logic, providing mathematical lexers and language properties for defining logical languages
Jeri is a modular, secure, privacy-first distributed collaboration core in Rust.
A quotient lattice for AI agent permissions that prevents the 'uninhabitable state'
Modality language lib
Terminal-native chat over a self-hosted Tor onion relay (opt-in LAN mDNS / direct dial), all Megolm end-to-end encrypted.