tromp/AIT tromp/AIT

  • Stars
    star
    132
  • Rank 274,205 (Top 6 %)
  • Language
    Haskell
  • Created over 11 years ago
  • Updated 3 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++
822
star
2

equihash

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

ChessPositionRanking

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

golegal

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

tromp.github.io

John Tromp homepage
HTML
21
star
6

fhourstones88

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