#

calculus-of-constructions

Here are 5 public repositories matching this topic...

lambda-11235 / ttyped

A simple dependently typed language based on the Calculus of Constructions.

type-theory calculus-of-constructions intuitionistic martin-lof

Updated Jul 31, 2020
Haskell

AnyDSL / thorin2-experiment

The Higher-Order Intermediate Representation

dependent-types lambda-calculus calculus-of-constructions

Updated Sep 24, 2018
C++

justinfargnoli / koi

Compiler for the Calculus of Inductive Constructions

rust compiler llvm type-system calculus-of-constructions calculus-of-inductive-constructions llvm-frontend

Updated May 20, 2022
Rust

saki-lang / mltt-type-checker

An MLTT type checker implemented using Saki-Lang

programming-language type-theory calculus-of-constructions plt mltt martin-lof-type-theory mygo saki-lang

Updated Oct 24, 2024

bridgekat / calculus-of-constructions

Lean 3 formalisation of bare-bones CC_ω.

type-theory lean calculus-of-constructions

Updated Jun 3, 2023
Lean

Improve this page

Add a description, image, and links to the calculus-of-constructions 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 calculus-of-constructions topic, visit your repo's landing page and select "manage topics."