patperry / hs-monte-carlo
A Monte Carlo monad and transformer for Haskell.
☆40Updated 6 years ago
Alternatives and similar repositories for hs-monte-carlo:
Users that are interested in hs-monte-carlo are comparing it to the libraries listed below
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Open records for Haskell☆22Updated 7 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Type-level well-kinded natural numbers.☆34Updated 3 months ago
- Library for manipulating Haskell source code☆22Updated 6 months ago
- Quiver stream processing library☆15Updated 8 years ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- Priority Search Queues in three different flavors for Haskell☆66Updated 2 months ago
- Port of Scala/Haskell Refined library to Idris☆17Updated 3 years ago
- ☆34Updated 13 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Haskell 98 contravariant functors☆73Updated 5 months ago
- Lift control operations, like exception catching, through monad transformers☆58Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Agda-style equational reasoning in Haskell☆53Updated last week
- a monadic graph library☆39Updated last month
- haskell memory☆48Updated last year
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last month
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Type-safe library for generating haskell source code☆28Updated 7 years ago
- Haskell 98 semigroups☆62Updated 2 years ago
- Cofun with Cofree Comonads☆32Updated 8 years ago
- The prelude.☆16Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- ☆18Updated 5 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago