Haskell Dependent Types

Open-source Haskell projects categorized as Dependent Types

Top 22 Haskell Dependent Type Projects

Dependent Types
  1. Kind

    A modern proof language (by HigherOrderCO)

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. Agda

    Agda is a dependently typed programming language / interactive theorem prover.

  4. singletons

    Fake dependent types in Haskell using singletons

  5. cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  6. tensor-safe

    A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.

  7. first-class-families

    First-class type families

  8. hoq

    A language based on homotopy type theory with an interval

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. type-natural

    Type-level well-kinded natural numbers.

  11. helf

    Haskell implementation of the Edinburgh Logical Framework

  12. eliminators

    Dependently typed elimination functions using singletons

  13. lens-typelevel

    Type-level lenses using singletons because why not

  14. agda2lagda

    Simple conversion from Agda text to literate Agda text.

  15. decidable

    Combinators for manipulating dependently-typed predicates.

  16. agda-snippets

    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

  17. sized

    Sized sequence data-types

  18. agda-unused

    Check for unused code in an Agda project.

  19. singletons-presburger

    Presburger arithmetic solver for built-in type-level naturals

  20. Sit

    Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)

  21. fcf-containers

    fcf-containers add tools that can be used with first-class-families

  22. open-typerep

    Open type representations and dynamic types

  23. instance-map

    Haskell dependent types the ugly and brute force way

  24. list-witnesses

    Inductive dependently-typed witnesses for working with type-level lists.

  25. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Haskell Dependent Types discussion

Log in or Post with

Haskell Dependent Types related posts

  • Types versus sets (and what about categories?)

    1 project | news.ycombinator.com | 31 Aug 2023
  • If given a list of properties/definitions and relationship between them, could a machine come up with (mostly senseless, but) true implications?

    5 projects | /r/math | 11 Jul 2023
  • What can Category Theory do?

    2 projects | /r/askmath | 22 Jun 2023
  • What are the current hot topics in type theory and static analysis?

    15 projects | /r/ProgrammingLanguages | 8 May 2023
  • Amendmend proposal: Changed syntax for Or patterns

    2 projects | /r/haskell | 14 Apr 2023
  • Foldr type level implementation

    2 projects | /r/haskellquestions | 30 Mar 2023
  • Functional Programming and Maths <|> How can a code monkey learn Agda?

    1 project | /r/functionalprogramming | 26 Mar 2023
  • A note from our sponsor - SaaSHub
    www.saashub.com | 18 Jun 2025
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source Dependent Type projects in Haskell? This list will help you:

# Project Stars
1 Kind 3,682
2 Agda 2,654
3 singletons 290
4 cubical 144
5 tensor-safe 102
6 first-class-families 88
7 hoq 85
8 type-natural 34
9 helf 30
10 eliminators 28
11 lens-typelevel 15
12 agda2lagda 14
13 decidable 12
14 agda-snippets 11
15 sized 11
16 agda-unused 9
17 singletons-presburger 9
18 Sit 6
19 fcf-containers 5
20 open-typerep 4
21 instance-map 2
22 list-witnesses 1

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?