Pinned Loading

1. boltzmann-brain boltzmann-brain Public

   Analytic sampler compiler for combinatorial systems

   Haskell 30 5

2. lambda-sampler lambda-sampler Public

   Boltzmann sampler utilities for lambda calculus

   Haskell 5 2

3. buffon-machines buffon-machines Public

   Monadic implementation of Buffon machines meant for perfect simulation of discrete random variables

   Haskell 1 1

4. paganini paganini Public

   Multiparametric tuner for combinatorial specifications

   Python 5 1

5. paganini-hs paganini-hs Public

   EDSL for the paganini multiparametric combinatorial specification tuner.

   Haskell 1

6. generic-boltzmann-brain generic-boltzmann-brain Public

   Analytic sampler framework for algebraic data types

   Haskell 14 1