emilaxelsson/fp-presentation-15
Presentation of the Chalmers FP group at student lunch seminars
Public GitHub Catalog
Discovered Oct 6, 2026
emilaxelsson / ho-rewriting
A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
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.
#33138122GitHub System ID
emilaxelssonOrganization / User
PublicVisibility
ActiveCatalog Status
More from emilaxelsson
emilaxelsson/feldspar-ghci
.ghci file for loading Feldspar-related packages
emilaxelsson/feldspar-io
An "IO monad" for Feldspar
emilaxelsson/imperative-edsl
Deep embedding of imperative programs with code generation