liamoc/spacemacs-agda
A little agda layer for spacemacs
Public GitHub Catalog
Discovered Sep 30, 2026
liamoc / pl-course-book
A book based on course notes written over the years for a UNSW PL course
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.
#17911951GitHub System ID
liamocOrganization / User
PublicVisibility
ActiveCatalog Status
More from liamoc
liamoc/elm-redex
An 8-hour project, writing an interactive untyped lambda calculus interpreter/rewriter in elm.
liamoc/emuwire
sshh
liamoc/gentzen
A beginner's theorem prover