-
Updated
Dec 17, 2018
dependent-types
Here are 256 public repositories matching this topic...
Different ways to solve a problem using different languages
-
Updated
Jul 23, 2020 - SMT
The Little Typer study group London
-
Updated
Jan 9, 2019 - Racket
Blazingly type safe GPU accelerated Multi-Layer Perceptron
-
Updated
Sep 16, 2023 - OCaml
📖 Working through Type-Driven Development with Idris
-
Updated
Mar 29, 2017 - Idris
A gradually-typed garbage-collected WebAssembly language
-
Updated
Mar 20, 2024 - Rust
My now-completed Master's thesis.
-
Updated
Oct 21, 2018 - TeX
Formalized Mathematics
-
Updated
Nov 9, 2017 - Coq
dependently typed programming language with timeless referential transparently
-
Updated
Aug 28, 2019 - Haskell
A simple dependently typed programming language based on…
-
Updated
Jun 6, 2017 - Haskell
Generic programming for Scala
-
Updated
Apr 25, 2024 - Scala
Solved exercises of the Arend tutorial (https://arend-lang.github.io/documentation/tutorial)
-
Updated
Jul 9, 2020
An NBT-based programming language
-
Updated
Aug 31, 2022 - Kotlin
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
-
Updated
Mar 31, 2024 - Scala
Implementation of Martin-Löf Type Theory in Haskell
-
Updated
Feb 20, 2016 - Haskell
Messing around with propositional logic in Agda
-
Updated
Nov 11, 2016 - Agda
A small, dependently typed language
-
Updated
Feb 19, 2018 - Haskell
Exam project for "Programming with dependent types using Idris" course
-
Updated
Apr 8, 2017 - Idris
Improve this page
Add a description, image, and links to the dependent-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dependent-types topic, visit your repo's landing page and select "manage topics."