Top 8 Haskell type-level-programming Projects
Generically derive traversals, lenses, and prisms.
Mu (μ) is a purely functional framework for building micro services.Project mention: What are the go-to libraries for RestAPIs and GraphQL APIs? | reddit.com/r/haskell | 2022-02-16
For graphql I experimented with Mu Haskell: https://higherkindness.io/mu-haskell/ Morpheus: https://morpheusgraphql.com/about/
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-safe memory units
:hourglass: Type-safe time units in Haskell
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Type-level well-kinded natural numbers.
Sized sequence data-types
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
Presburger arithmetic solver for built-in type-level naturals
What are some of the best open-source type-level-programming projects in Haskell? This list will help you:
Are you hiring? Post a new remote job listing for free.