reason-machines / reason-network

Reason Network: your team's coding agents, talking to each other. The engine behind `reason network`.

fabio-rovai / open-ontologies

Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.

creusot-rs / creusot

Creusot helps you prove your Rust code is correct.

nunreasonable / ii-windows

illogical-impulse on Windows 11: packaging and the GUI setup

typedb / typedb

TypeDB: Built for systems, not records

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍

litexlang / golitex

Litex: a formal language which lets machines and humans speak the same mathematical language