newca12/experiments
Just a place to host testing stuff
Public GitHub Catalog
Discovered Sep 24, 2026
newca12 / scala-atp
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala
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.
#1785189GitHub System ID
newca12Organization / User
PublicVisibility
ActiveCatalog Status
More from newca12
newca12/gapt
GAPT: General Architecture for Proof Theory
newca12/FastParsers
Fast Parser Combinators
newca12/scalafxml-demo
scalafxml-demo is a scalaFXML port of The Audio Configuration “More Cowbell” program from Pro JavaFX 2 book.