tromp / golegalLinks
count number of legal positions in the game of go
☆103Updated 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☆52Updated last year
- interesting solutions to project euler problems☆84Updated 9 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 8 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆110Updated 9 years ago
- Generate anagram puzzles like Frank Longo's "Spelling Bee" as in New York Times Magazine☆33Updated 6 years ago
- GNU APL port to Android☆16Updated 10 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- Genetic BF programming☆59Updated 10 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Polyglots☆83Updated 9 years ago
- ALgoloid with MAcros -- a language with Algol-family syntax where macros take center stage☆140Updated 5 months ago
- The Nomyx game☆84Updated last year
- Lisp implementation in GNU make☆169Updated 9 years ago
- deleted. i recommend using k instead: https://codeberg.org/ngn/k☆235Updated 3 years ago
- Python port of the Mathematica unum prototype from "The End of Error"☆52Updated 9 years ago
- x64 assembler solution to n-queens problem. Not tested for n!=8.☆62Updated 3 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- ☆343Updated 7 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 6 years ago
- FLVIz - Finite Automata Simulator written in QT/Graphviz☆36Updated 9 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- My implementations of deterministic and non-deterministic turing machines☆71Updated 2 years ago
- Lean ported to Javascript with Emscripten☆26Updated 8 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆126Updated 3 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated last year
- The Kestrel is a family of home-made computers, built as much as possible on open-source technology, and supporting as much as possible t…☆188Updated 4 years ago