Pinned Loading

1. open-ontologies open-ontologies Public

   An engineering and verification platform for trustworthy enterprise ontologies and knowledge graphs.

   Rust 507 68

2. brain-in-the-fish brain-in-the-fish Public

   Score any document. Prove every claim.

   Rust 87 15

3. tardygrada tardygrada Public

   A verified runtime for trustworthy AI agents: every claim passes an 8-layer verification pipeline before it counts. Deterministic checks, explainable verdicts, no LLM judging an LLM. Pure C, zero d…

   C 20 2