ahmadsalim/maude-exercises
Maude exercises (DSL reading group 2015)
Public GitHub Catalog
Discovered Oct 6, 2026
ahmadsalim / pi-forall
A demo implementation of a simple dependently-typed language
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.
#34010444GitHub System ID
ahmadsalimOrganization / User
PublicVisibility
ActiveCatalog Status
More from ahmadsalim
ahmadsalim/seven-more-languages
My answers to the "Seven More Languages in Seven Weeks" exercises.
ahmadsalim/fflat
The Fb programming language
ahmadsalim/MSc-Thesis
MSc Thesis on practical levitation