glguy/adjunctions
Simple adjunctions
Public GitHub Catalog
Discovered Sep 25, 2026
glguy / Lift
Minecraft/Bukkit elevator plugin
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.
#5547550GitHub System ID
glguyOrganization / User
PublicVisibility
ActiveCatalog Status
More from glguy
glguy/streams
Haskell 2010 stream comonads
glguy/ersatz
A monad for interfacing with external SAT solvers
glguy/agda-stdlib
The Agda standard library