larsrh/purely-experimental
Experiments in Isabelle/Pure (and a bit of HOL) (ARCHIVED)
Public GitHub Catalog
Discovered Sep 25, 2026
larsrh / scala-snippets
Random Scala snippets (ARCHIVED)
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.
#3109167GitHub System ID
larsrhOrganization / User
PublicVisibility
ActiveCatalog Status
More from larsrh
larsrh/flatmap2015
Demo code from talk at flatMap(Oslo) 2015 (ARCHIVED)
larsrh/libisabelle
A Scala library which talks to Isabelle (DISCONTINUED)
larsrh/regensburg-haskell-testing
Demo code from the talk "Testing in Haskell" (ARCHIVED)