A powerful, local-first, AI-powered image analysis tool that automatically tags, rates, and describes your images using advanced AI models running locally on your machine. NEW in v2.0: GPU Load ...

Kater is a tool that can prove metatheoretic properties of weak memory models. It can also be used to generate consistency checking code for stateless model checking tools like GenMC. This repository ...