Maciej Bendkowski

boltzmann-brain. Analytic sampler compiler for combinatorial systems

generic-boltzmann-brain. Analytic sampler framework for algebraic data types

lambda-sampler. Boltzmann sampler utilities for lambda calculus

paganini. Multiparametric tuner for combinatorial specifications

multiparametric-combinatorial-samplers. Auxiliary examples of combinatorial specifications amenable to multiparametric frequency tuning

LCCLUtils. Lambda Calculus & Combinatory Logic utilities for Haskell

combinatorics-of-explicit-substitutions. Supplementary material to the "Combinatorics of explicit substitutions" paper

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

prop-calculus. Experimental playground for intuitionistic propositional calculus

paganini-hs. EDSL for the paganini multiparametric combinatorial specification tuner.