fabio-rovai / open-ontologies

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

creusot-rs / creusot

Creusot helps you prove your Rust code is correct.

litexlang / golitex

Litex: write math, get formalized code. Because the math already is.

typedb / typedb

TypeDB: Built for systems, not records

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍