Last released Feb 20, 2026
LLM driven development and automatic repair kit.
Last released Oct 14, 2025
Manage mods using Crossworlds Mod Manager
Last released May 8, 2025
Library for running experiments in Python. Supports logging, experimental loops with checkpointing.
Last released Oct 31, 2024
Addon template project for ESBMC-AI.
Supported by
