An embedded DSL for creating, composing, and using probability measures.
☆42Sep 10, 2019Updated 6 years ago
Alternatives and similar repositories for measurable
Users that are interested in measurable are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Painless general-purpose sampling.☆24Nov 9, 2024Updated last year
- An embedded probabilistic programming language.☆34Mar 6, 2017Updated 9 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml☆15Feb 27, 2024Updated 2 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 9 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- DIY Markov Chains.☆25Nov 9, 2024Updated last year
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 4 years ago
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- The prelude.☆16Apr 3, 2019Updated 6 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- Statistics package for Haskell based on hmatrix☆13Aug 6, 2020Updated 5 years ago
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Sep 23, 2021Updated 4 years ago
- Parser and type analysis for the Go programming language☆12Aug 3, 2023Updated 2 years ago
- Haskell bindings to lz4☆21Feb 16, 2026Updated last month
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85May 6, 2025Updated 10 months ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆71Updated this week
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated last year
- An untyped lambda calculus interpreter☆12Nov 25, 2023Updated 2 years ago
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 4 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- Derive editors for data types.☆29Oct 5, 2014Updated 11 years ago
- Generic types and functions for encoding and decoding columns☆44Nov 4, 2024Updated last year
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- Non-empty Vectors☆26Apr 17, 2025Updated 11 months ago
- A Set type which supports multiple indexes☆18Nov 23, 2025Updated 4 months ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Dec 13, 2017Updated 8 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 7 months ago
- Servant client generators for the Python language☆17Mar 2, 2021Updated 5 years ago