minad/andromeda.hs
This is a direct port of Andrej Bauer's dependent type theory implementation from OCaml to Haskell
Public GitHub Catalog
Discovered Oct 14, 2026
minad / sciruby-gems
Website for sciruby gems
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.
#37207139GitHub System ID
minadOrganization / User
PublicVisibility
ActiveCatalog Status
More from minad
minad/docker-demo-images
Demo images for use in try.jupyter.org and tmpnb.org
minad/3delta
Host software especially suited for delta 3d printers
minad/Smoothieware
Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++