Haskell Typed

Open-source Haskell projects categorized as Typed | Edit details

Top 6 Haskell Typed Projects

  • GitHub repo Carp

    A statically typed lisp, without a GC, for real-time applications.

    Project mention: Best Lisp(s) for Functional & (seperately) Systems programming? | reddit.com/r/lisp | 2021-09-07

    check out Carp! It's an experimental statically typed lisp, WITHOUT a [tracing] gc! https://github.com/carp-lang/Carp

  • GitHub repo typed-wire

    Language independent type-safe communication

  • Nanos

    Run Linux Software Faster and Safer than Linux with Unikernels.

  • GitHub repo typed-encoding

    Type safe string restrictions and transformations

  • GitHub repo typed-admin

  • GitHub repo typed-encoding-encoding

    Bridge between `encoding` and `typed-encoding` package

  • GitHub repo typed-digits

    Digits, indexed by their base at the type level

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-09-07.


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

Project Stars
1 Carp 4,044
2 typed-wire 128
3 typed-encoding 6
4 typed-admin 1
5 typed-encoding-encoding 1
6 typed-digits 0
Find remote jobs at our new job board 99remotejobs.com. There are 22 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives