The Little Typer study group London
-
Updated
Jan 9, 2019 - Racket
#
dependent-types
Here are 283 public repositories matching this topic...
Solved exercises of the Arend tutorial (https://arend-lang.github.io/documentation/tutorial)
-
Updated
Jul 9, 2020
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
Formalizing the clone theory in type theory and Agda
-
Updated
Apr 3, 2025 - HTML
normalization by evaluation as a way of life
-
Updated
Aug 21, 2022 - Haskell
Some examples of programs with dependent types from Type Theory course in IFMO University.
-
Updated
Feb 7, 2019 - Idris
"Dependent Types for Software Engineers" - Report for the Seminar "Program Analysis and Transformation" in HS2020 about dependent types.
-
Updated
Jul 29, 2020 - TeX
Excercises from the book 'The little typer'
-
Updated
Sep 15, 2019
A Turing-incomplete configuration and data management language with a dependently-typed foundation
-
Updated
Aug 10, 2025 - Rust
Notes and exercises from "Type-Driven Development with Idris"
-
Updated
Aug 11, 2018 - Idris
🪄 Peoples Prize for HackSheffield9! Dependently typed toy language with LLM-verified holes developed in Rust using Z3 Theorem Prover!
-
Updated
Jan 9, 2025 - Python
A toy, ML-like, dependently typed language
-
Updated
Jun 24, 2020 - F#
Implementation of ideas in Homotopy Type Theory
-
Updated
Sep 4, 2017 - Haskell
Type-checking and type-inference for a spartan dependent type theory.
-
Updated
Jul 6, 2023 - Rust
Oxus Prelude: an alternative standard library for a dependently typed language
-
Updated
Jun 5, 2023 - Dockerfile
Experiments with dependently-typed programming in Idris2
-
Updated
Nov 17, 2021 - Idris
Type Patterns: Pattern Matching on Shape-Carrying Array Types
dependent-types pattern-matching partial-evaluation rank-polymorphism array-programming type-pattern shape-pattern type-constraints single-assignment-c hybrid-types
-
Updated
Aug 15, 2025 - TeX
Answers to the exercises on the book Programming Language Foundations in Agda
-
Updated
Apr 9, 2021 - Agda
insertion sort and bubble sort implementations carrying proofs of correctness
-
Updated
Jun 9, 2022 - 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."