shayan-najd/MiniLava
A minimal variant of Chalmers Lava 2000
Public GitHub Catalog
Discovered Oct 7, 2026
shayan-najd / QFeldspar-Idris
A port of QFeldspar to 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.
#35456214GitHub System ID
shayan-najdOrganization / User
PublicVisibility
ActiveCatalog Status
More from shayan-najd
shayan-najd/wl-pprint
A mirror of wl-pprint fixed for GHC 7.10.2
shayan-najd/QHaskell
QHaskell: a tool for developing QDSLs in Haskell
shayan-najd/th-desugar
TH-Desugar + A Tinier Core Language