Haskell Type System

Open-source Haskell projects categorized as Type System | Edit details

Top 7 Haskell Type System Projects

  • GitHub repo write-you-a-haskell

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

    Project mention: Monthly Hask Anything (November 2021) | reddit.com/r/haskell | 2021-11-02

    I feel like Write You A Haskell was set out to introduce some of these foundational concepts in the right order: lambda calculus, to system-f to core - but that's more of a skeleton, right? What about logic? proofs? Is there anything else ... that can all be put together to create a "course" of some sort to master the theoretical concepts that Haskell stands upon?

  • GitHub repo morloc

    A typed, polyglot, functional language

    Project mention: morloc-project/morloc: A typed, polyglot, functional language | reddit.com/r/functionalprogramming | 2021-07-29
  • OPS

    OPS - Build and Run Open Source Unikernels. Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.

  • GitHub repo typelevel-rewrite-rules

    rewrite rules for type-level equalities

    Project mention: [ANN/RFC] constraint-rules | reddit.com/r/haskell | 2021-09-10

    Nice! Thanks for including a comparison with my package typelevel-rewrite-rules. Since my package indeed struggles with infinite loops introduced by self-triggering rewrite rules, I would like to better understand why your package doesn't suffer from that same problem.

  • GitHub repo uom-plugin

    Units of measure as a GHC typechecker plugin

  • GitHub repo type-level-numbers

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

  • GitHub repo type-eq

    Type equality evidence you can carry around

  • GitHub repo funspection

    Type-level function utilities

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

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 2021-11-02.

Haskell Type System related posts


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

Project Stars
1 write-you-a-haskell 3,081
2 morloc 174
3 typelevel-rewrite-rules 52
4 uom-plugin 26
5 type-level-numbers 8
6 type-eq 2
7 funspection 0
Find remote jobs at our new job board 99remotejobs.com. There are 29 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
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.