-
Updated
Feb 6, 2020 - Idris
#
dependent-types
Here are 283 public repositories matching this topic...
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
programming-language dependent-types compiler metaprogramming cps continuation-passing-style partial-evaluators
-
Updated
Sep 21, 2018 - C++
-
Updated
Dec 17, 2018
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
Scalpel is a parser combinator library using path depend type capability
-
Updated
Jan 7, 2025 - Scala
Blazingly type safe GPU accelerated Multi-Layer Perceptron
-
Updated
Sep 16, 2023 - OCaml
My now-completed Master's thesis.
-
Updated
Oct 21, 2018 - TeX
A simple dependently typed programming language based on…
-
Updated
Jun 6, 2017 - Haskell
A gradually-typed garbage-collected WebAssembly language
-
Updated
Jul 1, 2024 - Rust
Solved exercises of the Arend tutorial (https://arend-lang.github.io/documentation/tutorial)
-
Updated
Jul 9, 2020
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
dependent-types workshop first-order-logic idris workshop-materials polymorphic-types scala3 union-types phantom-types typelevel-programming typed-lambda-calculus polymorphic-functions curry-howard-isomorphism compile-time-meta-programming dependent-type-theory path-dependent scala3-metaprogramming type-programming path-dependent-types
-
Updated
Jan 26, 2025 - Scala
A Dependently Typed Functional Programming Language
-
Updated
Feb 13, 2017 - Haskell
Code and examples based on the book 'Certified Programming with Dependent Types' (version: June 30, 2016) by Adam Chlipala.
-
Updated
May 4, 2017 - Coq
An attempt at implementing the generalized elvis problem using nearly pure haskell
-
Updated
Dec 15, 2024 - Haskell
experiments with dependent types in Haskell
-
Updated
Aug 23, 2018 - Haskell
Unusable Resource-dependent algebraic effects library in Idris 2.
-
Updated
May 29, 2021 - Idris
Formalizing the clone theory in type theory and Agda
-
Updated
Apr 3, 2025 - HTML
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."