Pinned Loading

1. mamut-lab mamut-lab Public

   Research and development workspace for verification tooling.

   Rust 2

2. cooperations cooperations Public

   Local-first AI mob programming orchestration for software development

   Go

3. ek-korv2 ek-korv2 Public

   kernel

   C

4. neuro-simbolic neuro-simbolic Public

   A proof-driven approach to machine intelligence where every self-improvement must be formally verified.

   Go

5. mapf-het mapf-het Public

   MAPF-HET: Multi-Agent Path Finding with Heterogeneous Tasks for EV Charging

   Makefile