Popular repositories Loading

1. suzumio suzumio Public

   A Docker-first, non-preemptive multi-agent coordination runtime

   TypeScript 6

2. acornlib acornlib Public

   Forked from acornprover/acornlib

   Acorn's standard library of mathematical facts.

   Shell 1

3. 100 100 Public

   Formalizing 100 Theorems

   TypeScript 1

4. acorn acorn Public

   Forked from acornprover/acorn

   The core implementation of the Acorn language.

   Rust

5. acorn-search acorn-search Public

   Python

6. formalize-harness formalize-harness Public

   Python