emk / haskell-probability-monads
Composable probability monads in Haskell.
☆22Updated 9 years ago
Alternatives and similar repositories for haskell-probability-monads:
Users that are interested in haskell-probability-monads are comparing it to the libraries listed below
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- Source for personal blog.☆77Updated last week
- Parsers for various configuration files written in Idris.☆19Updated 7 years ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- A full-stack Haskell web application starter project.☆43Updated 7 years ago
- ☆24Updated 8 years ago
- 2048 in Idris☆121Updated 7 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- A more flexible mtl☆64Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 4 months ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- A Haskell API into HTML5 Canvas☆71Updated 2 weeks ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- The missing tutorial module for the lens library☆82Updated 8 months ago
- A Prelude with names from category theory☆51Updated 8 years ago
- Zippers based on lenses and traversals☆38Updated last year
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Comma (and other) separated values☆76Updated last year
- van Laarhoven Free Monad with Extensible Effects☆23Updated 8 years ago
- ☆33Updated 9 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 3 months ago