Haskell Type

Open-source Haskell projects categorized as Type | Edit details
Related topics: #Data #Data structures #Type System #Language #Testing

Top 23 Haskell Type Projects

  • write-you-a-haskell

    Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

    Project mention: Type inference of letrec in Algorithm W | reddit.com/r/haskell | 2022-05-10

    This is the best resource I know of: http://dev.stephendiehl.com/fun/006\_hindley\_milner.html https://github.com/sdiehl/write-you-a-haskell/blob/master/chapter7/poly_constraints/src/Infer.hs

  • type-of-html

    High performance type safe html generation

  • SonarLint

    Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.

  • type-errors

    :warning: tools for writing better type errors

  • type-sets

    type level sets

  • type-level-sets

    Type-level sets for Haskell (with value-level counterparts and various operations)

  • type-spec

    A tiny EDSL to write type-level-unit tests

  • type-combinators

    Type level lists, pairs, sums, their operations, and their properties.

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • type-aligned

    Various type-aligned sequence data structures.

  • type-equality

    Haskell definition of type equality, coercion/cast and other operations.

  • type-indexed-queues

    Queues with verified and unverified versions

  • type-level-numbers

    Implementation of type level natural and signed integer numbers in haskell using type families.

  • type-unary

    Type-level and typed unary natural numbers, vectors, inequality proofs

  • type-map

    Type-indexed maps, or a lightweight record library

  • type-level

  • type-combinators-singletons

    Interop between type-combinators and singletons library

  • type-fun

    Fun with types

  • type-level-bst

    Type-Level Binary Search Tree in Haskell

  • type-level-tf

    Type level numerics for Haskell using type families. Based on type-level.

  • type-level-integers

    Provides integers lifted to the type level.

  • type-eq

    Type equality evidence you can carry around

  • type-combinators-quote

    Quasiquoters for the 'type-combinators' library.

  • type-of-html-static

    TH Optimizations for type-of-html

  • type-tree

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). The latest post mention was on 2022-05-10.

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,117
2 type-of-html 119
3 type-errors 70
4 type-sets 63
5 type-level-sets 63
6 type-spec 46
7 type-combinators 24
8 type-aligned 20
9 type-equality 10
10 type-indexed-queues 8
11 type-level-numbers 8
12 type-unary 6
13 type-map 5
14 type-level 5
15 type-combinators-singletons 4
16 type-fun 4
17 type-level-bst 3
18 type-level-tf 3
19 type-level-integers 2
20 type-eq 2
21 type-combinators-quote 2
22 type-of-html-static 1
23 type-tree 1
Find remote jobs at our new job board 99remotejobs.com. There are 7 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com