RomanHargrave/scabolic
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
Public GitHub Catalog
Discovered Oct 27, 2026
RomanHargrave / prequel
because SQL is a pretty good abstraction already
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.
#43452856GitHub System ID
RomanHargraveOrganization / User
PublicVisibility
ActiveCatalog Status
More from RomanHargrave
RomanHargrave/Sparkle
Scala DSL for XML, like Glitter, but using scala.xml
RomanHargrave/beetfs
Automatically exported from code.google.com/p/beetfs
RomanHargrave/pf-kernel
pf-kernel source code tree