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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results