tromp / golegal
count number of legal positions in the game of go
☆101Updated 11 months ago
Alternatives and similar repositories for golegal:
Users that are interested in golegal are comparing it to the libraries listed below
- World's dumbest fuzzer☆52Updated last year
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 8 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- Lisp implementation in GNU make☆165Updated 9 years ago
- Polyglots☆82Updated 9 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- ALgoloid with MAcros -- a language with Algol-family syntax where macros take center stage☆140Updated last month
- Lisp implementation in sed☆553Updated 8 years ago
- deleted. i recommend using k instead: https://codeberg.org/ngn/k☆235Updated 3 years ago
- A modern tool for literate programming☆274Updated 7 years ago
- miniKanren in the browser☆55Updated 9 years ago
- a multi-syntax language☆135Updated 9 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- Genetic BF programming☆60Updated 10 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated last year
- ☆342Updated 6 years ago
- The Nomyx game☆85Updated last year
- Semantic Version Control mk II.☆37Updated 4 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- 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
- Test-driven system administration with a little extra logic.☆387Updated 6 years ago
- A prolog-like language with compound truth value logic☆68Updated 6 years ago
- scm->js☆22Updated 9 years ago
- A modern syntax for the λ-calculus.☆412Updated 8 years ago
- Programming Language meets UI☆51Updated 7 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 4 months ago
- twitter clone in haskell☆12Updated 9 years ago