tromp/AIT tromp/AIT

  • Stars
    star
    121
  • Rank 284,004 (Top 6 %)
  • Language
    Haskell
  • Created about 11 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tromp/AIT
github

tromp

Reviews

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

Repository Details

Algorithmic Information Theory, using Binary Lambda Calculus

AIT

Algorithmic Information Theory, using Binary Lambda Calculus

More Repositories

1

cuckoo

a memory-bound graph-theoretic proof-of-work system
C++
810
star
2

equihash

multi-parameter Equihash proof-of-work multi-threaded C solvers
C++
150
star
3

ChessPositionRanking

Software suite for ranking chess positions and accurately estimating the number of legal chess positions
Haskell
124
star
4

golegal

count number of legal positions in the game of go
TeX
98
star
5

tromp.github.io

John Tromp homepage
HTML
20
star
6

fhourstones88

Fhourstones solver equipped with 8x8 solving book
C++
16
star