konn/lambda
Lambda calculus
Public GitHub Catalog
Discovered Sep 30, 2026
konn / algebra
constructive abstract algebra
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.
#19638319GitHub System ID
konnOrganization / User
PublicVisibility
ActiveCatalog Status
More from konn
konn/singletons
The repo for the singletons Haskell library
konn/algebra-extras
Implementation of Algorithms described in "Modern Computer Algebra"
konn/FRP2048
Demo of GHCJS, Sodium and extensible-effects (a clone of 2048)