jroesch/morphism.rs
A structure for suspended closure composition in Rust
Public GitHub Catalog
Discovered Sep 29, 2026
jroesch / idrc2idr
A tool in the style of hsc2hs for binding to C from Idris.
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.
#15217659GitHub System ID
jroeschOrganization / User
PublicVisibility
ActiveCatalog Status
More from jroesch
jroesch/language-lean
An Atom package for the Lean language
jroesch/github-archive
A place to move all my inactive GH repositories
jroesch/lambdaconf-2015-official
The official supporting materials repository for LambdaConf 2015.