dependent-type-theory
There are 19 repositories under dependent-type-theory topic.
cicada-lang/cicada-solo
Cicada Language (solo version)
cicada-lang/cicada-plct
Cicada Language (PLCT little team)
forked-from-1kasper/anders
Anders: Cubical Type Checker
saki-lang/saki-dev
A simple scala-like dependent type programming language
AD1024/dtlc
Dependently typed lambda calculus - A Simple Proof Assistant
yiyunliu/mltt-consistency
Logical relation for predicative CC omega with booleans and an intensional identity type
jaycech3n/Isabelle-Spartan
A dependent type theory logic for Isabelle
lunalunaa/pi-forall-kt
A dependently typed programming language
smimram/decaml
Dependent variant of OCaml
Russoul/Nova
A programming language based on extensional Martin Lof Type Theory
mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
forked-from-1kasper/hurricane
Hurricane: HoTT-I Type System
williamdemeo/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
GrahamStrickland/functional_lean
Examples and exercises from "Functional Programming in Lean" - David Thrane Christiansen
GrahamStrickland/math_lean
Examples and exercises from "Mathematics in Lean" - Jeremy Avigad & Patrick Massot
ReubenHillyard/alpha
Type-checking and type-inference for a spartan dependent type theory.
xieyuheng/x-json
A dependently typed programming language embedded in JSON, that can be used as a schema checker for JSON data.