jonnybest/jonnybest.github.io
Public repository.
Public GitHub Catalog
Discovered Sep 25, 2026
jonnybest / Alloy2RelSMT
This is Alloy2RelSMT, a converter. It translates Alloy models into SMT files with a specific relational theory.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#3930746GitHub System ID
jonnybestOrganization / User
PublicVisibility
ActiveCatalog Status
More from jonnybest
jonnybest/IVAN-prototype-Java
This is the prototype for Input&Verify AliceNLP
jonnybest/alicenlp-konkordanz
A tool for creating keyword-in-context (KWIC) overviews for a given corpus.
jonnybest/SmartShutdown
This program shuts down your PC automatically after checking some rules.