Top 6 Haskell Typed Projects
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
Language independent type-safe communication
Run Linux Software Faster and Safer than Linux with Unikernels.
Type safe string restrictions and transformations
Bridge between `encoding` and `typed-encoding` package
Digits, indexed by their base at the type level
What are some of the best open-source Typed projects in Haskell? This list will help you:
Are you hiring? Post a new remote job listing for free.