tromp / golegalLinks
count number of legal positions in the game of go
☆104Updated last year
Alternatives and similar repositories for golegal
Users that are interested in golegal are comparing it to the libraries listed below
Sorting:
- World's dumbest fuzzer☆53Updated 2 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 9 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆112Updated 9 years ago
- Lean ported to Javascript with Emscripten☆27Updated 8 years ago
- The Nomyx game☆84Updated 2 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- deleted. i recommend using k instead: https://codeberg.org/ngn/k☆234Updated 4 years ago
- Polyglots☆83Updated 10 years ago
- ☆346Updated 7 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- ALgoloid with MAcros -- a language with Algol-family syntax where macros take center stage☆141Updated 10 months ago
- Life like molecular computers with artificial chemistry.☆138Updated 3 years ago
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Strange Loop 2014 archives☆188Updated 11 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆128Updated last month
- Python port of the Mathematica unum prototype from "The End of Error"☆52Updated 9 years ago
- Lisp implementation in GNU make☆171Updated 10 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Economics games, inspired by David D. Friedman's☆12Updated 8 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 9 years ago
- An interpreter for the Mistral language.☆19Updated 8 years ago
- GNU APL port to Android☆16Updated 11 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 9 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 5 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆194Updated last week
- A compiler from Forth to Scratch☆22Updated 9 years ago
- generator for complex configurations☆99Updated 8 years ago