pepeiborra/stream-monad
Simple, Fair and Terminating Backtracking Monad
Public GitHub Catalog
Discovered Sep 25, 2026
pepeiborra / funsat-rpo
Funsat extension to Recursive Path Order constraints
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.
#3619918GitHub System ID
pepeiborraOrganization / User
PublicVisibility
ActiveCatalog Status
More from pepeiborra
pepeiborra/Hoed
Public repository.
pepeiborra/tag-bits
Provides access to GHC's dynamic pointer tag bits
pepeiborra/fsharp
The Open Edition of the F# compiler, core library and tools