Analytic sampler framework for algebraic data types
☆16May 12, 2023Updated 2 years ago
Alternatives and similar repositories for generic-boltzmann-brain
Users that are interested in generic-boltzmann-brain are comparing it to the libraries listed below
Sorting:
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- Analytic sampler compiler for combinatorial systems☆31Jul 10, 2022Updated 3 years ago
- Better testing for Plutus☆11Nov 15, 2022Updated 3 years ago
- An algorithm for generating random doubles.☆13Feb 21, 2017Updated 9 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 5 months ago
- Fast unboxed references for ST and IO monad☆15Jul 17, 2017Updated 8 years ago
- Propositional Logic Apropos Types☆15Feb 21, 2023Updated 3 years ago
- Optimal approximate sampling from discrete probability distributions☆18Mar 9, 2021Updated 5 years ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Mar 1, 2026Updated last week
- Safe, programmable, speculative evaluation for Haskell☆29Oct 22, 2018Updated 7 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- ☆20May 22, 2023Updated 2 years ago
- Clean up the formatting of 'show' output☆21May 10, 2025Updated 10 months ago
- Haskell Actors☆26Sep 5, 2023Updated 2 years ago
- First-class type families☆91Nov 6, 2025Updated 4 months ago
- Create environments with GHC HEAD artefacts☆26Jun 28, 2023Updated 2 years ago
- high-powered optics in a small package☆53Sep 22, 2025Updated 5 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆43Mar 2, 2026Updated last week
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Jul 20, 2024Updated last year
- Implements HashCash to prevent spammers abusing a resource.☆34Feb 19, 2024Updated 2 years ago
- 📦 Custom Setup to automate package modules discovery☆33Apr 4, 2022Updated 3 years ago
- Monomorphize polymorphic functions for testing☆36Jan 17, 2017Updated 9 years ago
- lowlevel set of cryptographic primitives for haskell☆40Updated this week
- Unit testing with resource estimation for Plutus☆31Jan 8, 2025Updated last year
- The Software Foundations book, in GHC☆82Jan 11, 2026Updated last month
- https://taxonomicallyinformedannotation.github.io/tima☆12Updated this week
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Dec 14, 2016Updated 9 years ago
- Download your books from Samona as PDFs.☆20Jan 27, 2026Updated last month
- Experiments about running Haskell via WebAssembly on Fastly☆40Mar 9, 2023Updated 3 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85May 6, 2025Updated 10 months ago
- Constraint-based generics☆50Jan 6, 2026Updated 2 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated this week
- ☆11Mar 24, 2023Updated 2 years ago
- ☆12Nov 22, 2024Updated last year
- ☆50Updated this week
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- Brace is an LLM-powered course assistant to help with teaching feedback-intensive courses with large student populations.☆12Jan 22, 2026Updated last month
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago