archive567 / chart-unitLinks
Unital Charts
☆27Updated 5 years ago
Alternatives and similar repositories for chart-unit
Users that are interested in chart-unit are comparing it to the libraries listed below
Sorting:
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 7 months ago
- Library and macros to simplify writing Haskell FFI code☆40Updated 2 years ago
- A monad for managed values☆51Updated 2 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 7 years ago
- ghc --make reimplemented with Shake☆32Updated 2 years ago
- Simplify and render Template Haskell☆18Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Map and Set over contiguous memory☆22Updated 2 years ago
- ☆51Updated 3 months ago
- Relational algebra☆25Updated 8 years ago
- ☆54Updated 6 years ago
- Serializable closures for distributed programming.☆65Updated last year
- Some useful control operators for looping☆47Updated 5 years ago
- A monad, perhaps.☆32Updated 5 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated last year
- Open records for Haskell☆22Updated 8 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 8 years ago
- Backpack examples repository☆14Updated 8 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22Updated last year
- Church-encoding of the Freer monad☆28Updated 9 years ago
- Standardized conversion between string types☆21Updated 3 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 10 months ago
- ☆39Updated 8 years ago
- freer monads and cofreer comonads.☆23Updated 7 years ago
- van Laarhoven Free Monad with Extensible Effects☆24Updated 9 years ago
- An experiment in functional interface design☆24Updated 9 years ago
- Get all your structure and rip it apart.☆32Updated 7 years ago