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