Maciej Bendkowski (@maciej-bendkowski)
github

maciej-bendkowski

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    62
  • Global Rank 293,356 (Top 11 %)
  • Followers 24
  • Following 18
  • Registered about 13 years ago
  • Most used languages
    Haskell
         77.8 %
    Coq     11.1 %
    Python
         11.1 %
  • Location 🇵🇱 Poland
  • Country Total Rank 2,565
  • Country Ranking
    Haskell
         6
    Coq     7
    Python
         2,028

Top repositories

1

boltzmann-brain

Analytic sampler compiler for combinatorial systems
Haskell
29
star
2

generic-boltzmann-brain

Analytic sampler framework for algebraic data types
Haskell
14
star
3

paganini

Multiparametric tuner for combinatorial specifications
Python
5
star
4

lambda-sampler

Boltzmann sampler utilities for lambda calculus
Haskell
5
star
5

multiparametric-combinatorial-samplers

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

LCCLUtils

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

buffon-machines

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

prop-calculus

Experimental playground for intuitionistic propositional calculus
Haskell
1
star
9

combinatorics-of-explicit-substitutions

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