#

modal-type-theory

Here are 4 public repositories matching this topic...

jonsterling / agda-calf

A cost-aware logical framework, embedded in Agda.

cost complexity agda logical-framework modal-type-theory

Updated May 10, 2025
Agda

mtt-lang / mtt-lang

A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web

tutorial ocaml modal-logic modal-type-theory

Updated May 29, 2022
OCaml

damhiya / MetaLambda

programming-language haskell lambda-calculus metaprogramming modal-logic multi-stage-programming modal-type-theory adjoint-type-theory contextual-modal-type-theory

Updated Feb 26, 2024
Haskell

kevinlopaq / cmtt

Type-checker for CMTT

typechecker lambda-calculus modal-logic modal-type-theory contextual-modal-type-theory

Updated Apr 6, 2025
Haskell

Improve this page

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