larsrh/libisabelle
A Scala library which talks to Isabelle (DISCONTINUED)
Public GitHub Catalog
Discovered Sep 25, 2026
larsrh / datalog-fixpoint
Computes the fixpoint of certain Datalog queries with constraints (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.
#4773905GitHub 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)