arjanblokzijl/loops
Public repository.
Public GitHub Catalog
Discovered Sep 26, 2026
arjanblokzijl / heyting
A simple compiler attempt with type checking and inference
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.
#6193035GitHub System ID
arjanblokzijlOrganization / User
PublicVisibility
ActiveCatalog Status
More from arjanblokzijl
arjanblokzijl/reflecting
Trying Scala 2.10's reflection library
arjanblokzijl/scala-pipes
porting haskell pipes to scala
arjanblokzijl/scala-conduits
A port to Scala of the Conduit library by Michael Snoyman