-
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
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
Explicit concurrency for intelligible parallel programing.
-
Updated
Jun 11, 2020 - Rust
Exercises from Theorem Proving In Lean
-
Updated
Oct 21, 2018 - Lean
Library bringing types support to elixir
-
Updated
Jun 15, 2021 - Elixir
Variations on Noetherianness
-
Updated
Aug 11, 2022 - Agda
Dependently typed programming language implemented in Literate Haskell.
-
Updated
Aug 8, 2021 - Haskell
📖 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
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."