chisui / dakkaLinks
A dependently typed actor framework for haskell.
β12Updated 6 years ago
Alternatives and similar repositories for dakka
Users that are interested in dakka are comparing it to the libraries listed below
Sorting:
- π€³ ignore the differences between `a` and `Identity a`β25Updated 5 years ago
- Kleene algebra, regular expressionsβ32Updated last year
- Experimental implementation of generic record subtypingβ18Updated last year
- Automatic type class law checking.β24Updated 4 months ago
- Generate a command line client from a servant APIβ28Updated last year
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.β28Updated 3 years ago
- β20Updated 2 years ago
- Keep your laziness in check!β33Updated 2 years ago
- Quickcheck Properties for common typeclassesβ35Updated last month
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEVβ¦β23Updated 8 years ago
- β10Updated last year
- high-level stream sockets in haskellβ17Updated last year
- Deriving Semigroup and Monoid instances for your product typesβ11Updated 2 months ago
- Reasonable Haskell default importβ27Updated 2 years ago
- A Zoo of Haskell Newtype Wrappersβ14Updated 4 years ago
- β13Updated 5 years ago
- Overloaded pluginβ30Updated 11 months ago
- Safe web routing in haskellβ30Updated 2 years ago
- Derive instances through isomorphismsβ20Updated 11 months ago
- Demonstrating how to make type families faster using typechecker pluginsβ21Updated 4 years ago
- An interactive GHC profiling visualizerβ33Updated 7 years ago
- Futuristic New Age Golden Test managementβ15Updated 2 years ago
- Source Layouting Engineβ11Updated 4 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stmβ17Updated 11 years ago
- Uniform interface to reified data type information via Template Haskellβ21Updated 3 months ago
- Script to download all of Hackageβ15Updated 5 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.β20Updated 8 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solverβ17Updated 3 months ago
- Perform GPIO from Haskellβ21Updated 5 years ago
- Symbol manipulationβ36Updated 2 years ago