keean/Lambda-Gen
Random Lambda Term Generator
Public GitHub Catalog
Discovered Oct 1, 2026
keean / Compositional-Typing-Inference
Compositional inference of principal typings for simple lamda-calculus based language written in C++
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.
#20268734GitHub System ID
keeanOrganization / User
PublicVisibility
ActiveCatalog Status
More from keean
keean/Parser-Combinators
C++ parser combinator library
keean/node-monadic-router
Router Monad for Node.js
keean/jsmonads
Monads for JavaScript