tromp / golegal
count number of legal positions in the game of go
☆99Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for golegal
- 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 10 months ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 8 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- Riemann Hypothesis book☆74Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆135Updated 4 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Lisp implementation in GNU make☆162Updated 9 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- Source Codes for "A Pamphlet against R"☆100Updated 3 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- interesting solutions to project euler problems☆84Updated 8 years ago
- A neatly typeset version of John McCarthy's classic paper☆120Updated 11 months ago
- ALgoloid with MAcros -- a language with Algol-family syntax where macros take center stage☆138Updated this week
- Python port of the Mathematica unum prototype from "The End of Error"☆52Updated 8 years ago
- A Church to Javascript compiler (DEPRECATED)☆140Updated 6 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆196Updated 9 months ago
- Polyglots☆82Updated 8 years ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆102Updated 5 years ago
- twitter clone in haskell☆12Updated 8 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 4 years ago
- A Digital Scientific Notation☆281Updated 3 years ago
- James Gleick's Chaos: The Software☆136Updated 7 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- a multi-syntax language☆135Updated 8 years ago
- ☆49Updated 7 years ago