keean/Compositional-Typing-Inference
Compositional inference of principal typings for simple lamda-calculus based language written in C++
Router Monad for Node.js
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Compositional inference of principal typings for simple lamda-calculus based language written in C++
C++ parser combinator library
Monads for JavaScript
Relational Algebra API for JavaScript