maciej-bendkowski / generic-boltzmann-brainView external linksLinks
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
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 4 months ago
- Fast unboxed references for ST and IO monad☆15Jul 17, 2017Updated 8 years ago
- Optimal approximate sampling from discrete probability distributions☆18Mar 9, 2021Updated 4 years ago
- ☆20May 22, 2023Updated 2 years ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆42Feb 8, 2026Updated last week
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated 11 months ago
- Safe, programmable, speculative evaluation for Haskell☆29Oct 22, 2018Updated 7 years ago
- Clean up the formatting of 'show' output☆21May 10, 2025Updated 9 months ago
- Haskell Actors☆26Sep 5, 2023Updated 2 years ago
- First-class type families☆90Nov 6, 2025Updated 3 months ago
- Create environments with GHC HEAD artefacts☆26Jun 28, 2023Updated 2 years ago
- high-powered optics in a small package☆53Sep 22, 2025Updated 4 months ago
- QuickCheck extras.☆29Jun 23, 2019Updated 6 years ago
- 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
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆43Updated this week
- Implements HashCash to prevent spammers abusing a resource.☆34Feb 19, 2024Updated last year
- Monomorphize polymorphic functions for testing☆36Jan 17, 2017Updated 9 years ago
- 📦 Custom Setup to automate package modules discovery☆33Apr 4, 2022Updated 3 years ago
- lowlevel set of cryptographic primitives for haskell☆38Jan 24, 2026Updated 3 weeks ago
- Unit testing with resource estimation for Plutus☆31Jan 8, 2025Updated last year
- Experiments about running Haskell via WebAssembly on Fastly☆40Mar 9, 2023Updated 2 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Dec 14, 2016Updated 9 years ago
- The Software Foundations book, in GHC☆82Jan 11, 2026Updated last month
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85May 6, 2025Updated 9 months ago
- Constraint-based generics☆50Jan 6, 2026Updated last month
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Jan 7, 2026Updated last month
- ☆12Nov 22, 2024Updated last year
- ☆11Mar 24, 2023Updated 2 years ago
- ☆50Oct 2, 2025Updated 4 months ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 8 months ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆11Aug 18, 2025Updated 5 months ago
- Official implementation for "How Should We Meta-Learn Reinforcement Learning Algorithms?"☆23Sep 7, 2025Updated 5 months ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago