Top 23 Haskell Type Projects
-
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
type-level-numbers
Implementation of type level natural and signed integer numbers in haskell using type families.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
I highly recommend https://github.com/sdiehl/write-you-a-haskell as it is very developer friendly. It’s not complete, but it really gets the gears turning and will set you up for writing your own Hendley-Milner style type checker.
Index
What are some of the best open-source Type projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | write-you-a-haskell | 3,304 |
2 | type-of-html | 125 |
3 | type-errors | 73 |
4 | type-sets | 67 |
5 | type-level-sets | 65 |
6 | type-spec | 49 |
7 | type-combinators | 24 |
8 | type-aligned | 20 |
9 | type-equality | 10 |
10 | type-level-numbers | 8 |
11 | type-indexed-queues | 8 |
12 | type-level | 6 |
13 | type-unary | 6 |
14 | type-eq | 5 |
15 | type-fun | 5 |
16 | type-map | 5 |
17 | type-combinators-singletons | 4 |
18 | type-level-bst | 3 |
19 | type-level-tf | 3 |
20 | type-level-integers | 2 |
21 | type-combinators-quote | 2 |
22 | type-of-html-static | 1 |
23 | type-tree | 1 |
Sponsored