mschlaipfer/z3
The Z3 Theorem Prover
Public GitHub Catalog
Discovered Sep 26, 2026
mschlaipfer / unreal-server-info
Little script to query the server info for Rune. It is expected to work for other Unreal Engine 1 games as well.
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.
#8374615GitHub System ID
mschlaipferOrganization / User
PublicVisibility
ActiveCatalog Status
More from mschlaipfer
mschlaipfer/tracecheck-interpol
Labelled interpolation system for resolution proofs in the Tracecheck format.
mschlaipfer/fmt_presentation
Presentation for Seminar on Finite Model Theory, based on Libkin's book chapter 9 ("Turing Machines and Finite Models")
mschlaipfer/scabolic
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.