larsrh/libisabelle
A Scala library which talks to Isabelle (DISCONTINUED)
Public GitHub Catalog
Discovered Sep 26, 2026
larsrh / queue
Language based on queue 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.
#6980741GitHub 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)