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: Haskell jobs at Standard Chartered, various locations and seniority | /r/haskell | 2023-04-17
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
🧠 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: