larsrh/libisabelle
A Scala library which talks to Isabelle (DISCONTINUED)
Public GitHub Catalog
Discovered Sep 25, 2026
larsrh / automata
Fixed-length languages and Presburger automata (ARCHIVED)
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#4643437GitHub System ID
larsrhOrganization / User
PublicVisibility
ActiveCatalog Status
More from larsrh
larsrh/regensburg-haskell-testing
Demo code from the talk "Testing in Haskell" (ARCHIVED)
larsrh/scalaio2014
Demo code from scala.io 2014 (ARCHIVED)
larsrh/tasty
Modern and extensible testing framework for Haskell (ARCHIVED)