maciej-bendkowski/boltzmann-brain maciej-bendkowski/boltzmann-brain

  • Stars
    star
    29
  • Rank 860,307 (Top 17 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 8 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
maciej-bendkowski/boltzmann-brain
github

maciej-bendkowski

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Analytic sampler compiler for combinatorial systems

More Repositories

1

generic-boltzmann-brain

Analytic sampler framework for algebraic data types
Haskell
14
star
2

paganini

Multiparametric tuner for combinatorial specifications
Python
5
star
3

lambda-sampler

Boltzmann sampler utilities for lambda calculus
Haskell
5
star
4

multiparametric-combinatorial-samplers

Auxiliary examples of combinatorial specifications amenable to multiparametric frequency tuning
Haskell
4
star
5

LCCLUtils

Lambda Calculus & Combinatory Logic utilities for Haskell
Haskell
2
star
6

buffon-machines

Monadic implementation of Buffon machines meant for perfect simulation of discrete random variables
Haskell
1
star
7

prop-calculus

Experimental playground for intuitionistic propositional calculus
Haskell
1
star
8

combinatorics-of-explicit-substitutions

Supplementary material to the "Combinatorics of explicit substitutions" paper
Coq
1
star