#

lambda-cube

Here are 7 public repositories matching this topic...

groupoid / henk

🧊 Henk: CoC Pure Type System

erlang pure termination pts lambda-cube

Updated Apr 5, 2022
Pug

steshaw / lennart-lambda-cube

Lennart Augustsson's lamda cube

dependent-types programming-languages lambda-cube programming-language-theory

Updated Jul 13, 2016
Haskell

aatxe / cube.idr

An implementation of the Lambda Cube in Idris.

lambda-calculus toy-language idris lambda-cube

Updated Mar 17, 2019
Idris

cannor147 / itmo-tt

Type Theory course at ITMO University

lambda-calculus type-theory idris lambda-cube

Updated Feb 6, 2022
Java

Lambda-Calculi-OCaml

rudynicolop / Lambda-Calculi-OCaml

Lambda Calculus implementations in OCaml.

ocaml lambda-calculus educational lambda-cube system-f system-f-omega

Updated Jul 23, 2021
OCaml

cicada-lang / lambda-cube

An implementation of Lambda Cube in JavaScript.

Updated Apr 5, 2022
TypeScript

rudynicolop / Lambda-Calculi-Coq

Lambda-Calculi implementations & proofs in Coq

lambda-calculus coq lambda-cube system-f

Updated Mar 22, 2022
Coq

Improve this page

Add a description, image, and links to the lambda-cube topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lambda-cube topic, visit your repo's landing page and select "manage topics."