5 projects
formal-lib
Contains a shared interface of different software verifiers
esbmc_ai
LLM driven development and automatic repair kit.
crossworlds-modmanager
Manage mods using Crossworlds Mod Manager
trialist
Library for running experiments in Python. Supports logging, experimental loops with checkpointing.
esbmc-ai-addon-template
Addon template project for ESBMC-AI.
