jonsterling/agda-meaning-explanations
Demonstration of meaning explanations in agda
Public GitHub Catalog
Discovered Sep 25, 2026
jonsterling / Tmux-Haskell
A DSL for scripting Tmux in Haskell. [BTW, this doesn't really work. Sorry!]
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.
#5550233GitHub System ID
jonsterlingOrganization / User
PublicVisibility
ActiveCatalog Status
More from jonsterling
jonsterling/ocaml-abt
(intrinsically typed) ABTs for OCaml
jonsterling/twelf-itt
modular development of intensional type theory in twelf
jonsterling/hs-monad-open
Open-ended computation for when you need it (open recursion)