tromp / golegal
count number of legal positions in the game of go
☆100Updated 9 months ago
Alternatives and similar repositories for golegal:
Users that are interested in golegal are comparing it to the libraries listed below
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆108Updated 8 years ago
- World's dumbest fuzzer☆52Updated last year
- Riemann Hypothesis book☆74Updated 7 years ago
- Non-euclidean Rubik's Cube Analogues☆88Updated 11 months ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆31Updated 6 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- 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 9 years ago
- Polyglots☆82Updated 9 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 8 years ago
- ☆50Updated 9 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- x64 assembler solution to n-queens problem. Not tested for n!=8.☆62Updated 3 years ago
- generator for complex configurations☆98Updated 7 years ago
- Lisp implementation in GNU make☆163Updated 9 years ago
- The Nomyx game☆85Updated last year
- miniKanren in the browser☆56Updated 8 years ago
- BotHack – A Nethack Bot Framework☆235Updated 8 years ago
- Life like molecular computers with artificial chemistry.☆134Updated 2 years ago
- Functional /bin/sh☆170Updated 12 years ago
- Lisp implementation in sed☆553Updated 8 years ago
- state machine visual debugger☆121Updated 9 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆123Updated 6 months ago
- Python port of the Mathematica unum prototype from "The End of Error"☆52Updated 8 years ago
- Complete Lojban Language Chunked☆179Updated 3 months ago
- A minimalist type-inferred programming language with procedural macro support☆135Updated 4 years ago
- a haskellified version of the classic sed unix tool☆21Updated 9 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- A functional Scheme for world domination.☆380Updated 6 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 5 years ago