ESBMC-AI [Website] [Download] - An automated program repair tool that uses ESBMC as the backend for verifiying the software, and an LLM of choice to conduct the repair.
ipykernel-ctl [Website] [Download] - Easily deploy and manage IPyKernel for Python Environments.