type level programming that compiles to typescript.
-
Updated
Jul 1, 2024 - Haskell
type level programming that compiles to typescript.
Sized sequence data-types
Type-level well-kinded natural numbers.
Presburger arithmetic solver for built-in type-level naturals
Mu (μ) is a purely functional framework for building micro services.
Extensible records and variants indexed by a type-level Red-Black tree.
Generically derive traversals, lenses, and prisms.
⌛ Type-safe time units in Haskell
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Experimental wrapper for opengl in haskell.
Haskell library to ease the pain of versioning and migrating data types
Alcuni appunti sul libro "Thinking With Types", di Sandy Maguire
Type-level Fizz Buzz implementations
A Haskell library for typesafe music composition
Trying to get back all the stuff I had in JavaScript.
Additional operations for GHC's type-level symbols
A well-typed Directed Acyclic Graph in Haskell
Add a description, image, and links to the type-level-programming topic page so that developers can more easily learn about it.
To associate your repository with the type-level-programming topic, visit your repo's landing page and select "manage topics."