Awesome Open Source

Programming Languages

Search results for haskell type level programming

type-level-programming x

12 search results found

Generic Lens ⭐ 430

Generically derive traversals, lenses, and prisms.

A Haskell library for typesafe music composition

Mu Haskell ⭐ 311

Mu (μ) is a purely functional framework for building micro services.

Learn Me A Haskell ⭐ 56

Trying to get back all the stuff I had in JavaScript.

Membrain ⭐ 52

🧠 Type-safe memory units

⌛ Type-safe time units in Haskell

Hashedexpression ⭐ 41

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

Symbol manipulation

Red Black Record ⭐ 16

Extensible records and variants indexed by a type-level Red-Black tree.

A well-typed Directed Acyclic Graph in Haskell

Ghc Typelits Symbols ⭐ 6

Additional operations for GHC's type-level symbols

Ghc Typelits Presburger ⭐ 6

Presburger arithmetic solver for built-in type-level naturals

Related Searches

Haskell Ghc (1,289)

Types Haskell (1,028)

Language Haskell (853)

Haskell Functional Programming (793)

Haskell Monad (681)

Haskell Hackage (574)

Haskell Stack (554)

Haskell Programming (549)

Haskell Bindings (444)

Javascript Haskell (398)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.