Projects in Awesome Lists tagged with lambda-cube
A curated list of projects in awesome lists tagged with lambda-cube .
https://github.com/groupoid/henk
🧊 Чиста система з всесвітами
erlang lambda-cube pts pure termination
Last synced: 24 Jun 2025
https://github.com/steshaw/lennart-lambda-cube
Lennart Augustsson's lamda cube
dependent-types lambda-cube programming-language-theory programming-languages
Last synced: 02 May 2025
https://github.com/aatxe/cube.idr
An implementation of the Lambda Cube in Idris.
idris lambda-calculus lambda-cube toy-language
Last synced: 14 Jun 2025
https://github.com/hargonix/lean-cube
Theories in Lean for various calculi from the lambda cube.
formal-verification lambda-calculus lambda-cube lean4
Last synced: 13 Mar 2025
https://github.com/aabbtree77/expression-problem
The expression problem solved by DeepSeek in Go, Rust, and Haskell.
abstractions barendregt-cube deepseek-v3 expression-problem lambda-cube language-design open-interface type-embedding
Last synced: 08 Mar 2025
