kalhauge/qed
QED Java Html Frontend
Public GitHub Catalog
Discovered Oct 5, 2026
kalhauge / pysmt
Adding SMT expressions and a solver interface to python
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.
#28973120GitHub System ID
kalhaugeOrganization / User
PublicVisibility
ActiveCatalog Status
More from kalhauge
kalhauge/goose
GoOSE is a tool for running shell scripts on VirtualMachines.
kalhauge/funcparser
A library which transforms functions into a CLI
kalhauge/graphene
A python graphics cross-platfom library