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☆52Updated last year
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 9 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- The Nomyx game☆84Updated last year
- interesting solutions to project euler problems☆84Updated 9 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆111Updated 9 years ago
- Lean ported to Javascript with Emscripten☆27Updated 8 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated last year
- Julia Implementation of Unums☆42Updated 8 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- The transcript of a Donald Knuth interview in 2006☆227Updated 9 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 5 years ago
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Lisp implementation in sed☆556Updated 8 years ago
- An interpreter for the Mistral language.☆19Updated 8 years ago
- Lisp implementation in GNU make☆170Updated 10 years ago
- Rate things on arbitrary scales using big data and science!☆51Updated 6 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- The General Game Playing Base Package☆121Updated 4 years ago
- Life like molecular computers with artificial chemistry.☆137Updated 2 years ago
- yasp is a fully functional web-based assembler development environment, including a real assembler, emulator and debugger.☆267Updated 8 years ago
- state machine visual debugger☆121Updated 10 years ago
- ☆343Updated 7 years ago
- GNU APL port to Android☆16Updated 10 years ago
- The Pascal-F Verifier☆50Updated 8 years ago
- A geometry game based on Euclid's Elements.☆452Updated 4 years ago
- An R5RS Scheme in JavaScript.☆17Updated 3 months ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago