Popular repositories Loading

1. suzumio suzumio Public

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

   TypeScript 12

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. acornlib-suzumio-workflow acornlib-suzumio-workflow Public template

   Sanitized Suzumio workflow template for Acornlib formalization campaigns

   1

5. acorn acorn Public

   Forked from acornprover/acorn

   The core implementation of the Acorn language.

   Rust

6. acorn-search acorn-search Public

   Python