amutake/imp
A simple imperative language for learning/teaching Haskell
Public GitHub Catalog
Discovered Oct 1, 2026
amutake / prove-everywhere
Moved to https://github.com/prove-everywhere
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#21347459GitHub System ID
amutakeOrganization / User
PublicVisibility
ActiveCatalog Status
More from amutake
amutake/spa-server
Simple static file server for single-page application
amutake/beamer-template
My beamer template
amutake/actario
Verification Framework for Actor Systems on Coq