SaaSHub helps you find the best software and product alternatives Learn more →
Top 22 Haskell Dependent Type Projects
-
-
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.
-
-
-
-
tensor-safe
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
-
-
-
-
agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
-
-
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Haskell Dependent Types discussion
Haskell Dependent Types related posts
-
Types versus sets (and what about categories?)
-
If given a list of properties/definitions and relationship between them, could a machine come up with (mostly senseless, but) true implications?
-
What can Category Theory do?
-
What are the current hot topics in type theory and static analysis?
-
Amendmend proposal: Changed syntax for Or patterns
-
Foldr type level implementation
-
Functional Programming and Maths <|> How can a code monkey learn Agda?
-
A note from our sponsor - SaaSHub
www.saashub.com | 18 Jun 2025
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 |