Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 9 Haskell Typelevel Open Source Projects

Open source projects categorized as Haskell Typelevel
Categories > Compilers > Typelevel
Mu Haskell ⭐ 311
Mu (μ) is a purely functional framework for building micro services.
most recent commit a year ago
Dth ⭐ 286
Examples of Dependently-typed programs in Haskell
most recent commit 2 years ago
Recursion Scheme Talk ⭐ 176
A talk on using recursion schemes in FP.
most recent commit 7 years ago
Type Errors Pretty ⭐ 49
💄🐞 Combinators for writing pretty type errors easily
total releases 4most recent commit 3 years ago
Purescript Typelevel Eval ⭐ 37
Higher order functional programming in PureScript's type system
most recent commit 2 years ago
Typelevel Dijkstra Sp ⭐ 22
Dijkstra's shortest path algorithm implemented at type level with Haskell
most recent commit 6 years ago
Lens Typelevel ⭐ 15
Type-level lenses using singletons because why not
total releases 3most recent commit 5 years ago
Magic Typelevel Elem ⭐ 9
Demonstrating how to make type families faster using typechecker plugins
most recent commit 3 years ago
Ez Couch ⭐ 5
A CouchDB client library for Haskell
total releases 12most recent commit 10 years ago
The 5 Latest Releases In Haskell Typelevel Open Source Projects
Type Errors Pretty ⭐ 49
💄🐞 Combinators for writing pretty type errors easily
total releases 4latest release August 02, 2021most recent commit 3 years ago
Lens Typelevel ⭐ 15
Type-level lenses using singletons because why not
total releases 3latest release October 31, 2018most recent commit 5 years ago
Ez Couch ⭐ 5
A CouchDB client library for Haskell
total releases 12latest release January 26, 2015most recent commit 10 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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