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
Sorting:
- Painless general-purpose sampling.☆24Nov 9, 2024Updated last year
- An embedded probabilistic programming language.☆34Mar 6, 2017Updated 8 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Haskell bindings to lz4☆21Feb 16, 2026Updated 2 weeks ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 4 years ago
- Parser and type analysis for the Go programming language☆12Aug 3, 2023Updated 2 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- The prelude.☆16Apr 3, 2019Updated 6 years ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated last year
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Aug 12, 2025Updated 6 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Dec 13, 2017Updated 8 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated last year
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85May 6, 2025Updated 9 months ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 7 months ago
- error notification to rollbar.com☆28Dec 17, 2025Updated 2 months ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- Non-empty Vectors☆26Apr 17, 2025Updated 10 months ago
- An append only list in a compact region☆25Sep 6, 2018Updated 7 years ago
- Generic types and functions for encoding and decoding columns☆44Nov 4, 2024Updated last year
- Show programming language printed values in a web UI☆24May 16, 2019Updated 6 years ago
- DIY Markov Chains.☆25Nov 9, 2024Updated last year
- Simple reflection of expressions☆34Jun 18, 2021Updated 4 years ago
- The LC3 virtual machine☆24Dec 14, 2024Updated last year
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 10 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago