tromp / golegalView external linksLinks
count number of legal positions in the game of go
☆103Apr 2, 2024Updated last year
Alternatives and similar repositories for golegal
Users that are interested in golegal are comparing it to the libraries listed below
Sorting:
- The Open Problems Project☆41Jun 19, 2025Updated 7 months ago
- Simple c++ wrapper for xz utils☆13Jul 1, 2021Updated 4 years ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- The codebase that computed the Ninth Dedekind Number☆14Jan 18, 2026Updated last month
- Maintained fork of Peter Miller's UCSD P-System tools - Operating System☆13Nov 2, 2025Updated 3 months ago
- Binary lambda calculus☆10Jan 29, 2018Updated 8 years ago
- Lean ported to Javascript with Emscripten☆27Jun 27, 2017Updated 8 years ago
- ☆17Dec 16, 2015Updated 10 years ago
- web server☆23Mar 26, 2008Updated 17 years ago
- Algorithms for producing avatar images which uniquely (and memorably) represent pubkeys☆11Nov 4, 2015Updated 10 years ago
- x86 16-bit program drawing the heart curve equation☆17Feb 15, 2021Updated 5 years ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Virtual machine☆35Nov 2, 2025Updated 3 months ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Sep 15, 2022Updated 3 years ago
- Serve web sites on Scuttlebot☆11Jan 11, 2019Updated 7 years ago
- Image deblurring and alignment using a series of images (from dozens to thousands).☆10Nov 15, 2014Updated 11 years ago
- Finds a Perfect Scramble on a 3x3 Rubik's Cube☆46Mar 3, 2024Updated last year
- bkd tree for external storage☆18Apr 23, 2016Updated 9 years ago
- Get the union of two sorted streams☆28Mar 9, 2023Updated 2 years ago
- end to end encrypted socket.io based chatroom☆13Feb 29, 2016Updated 9 years ago
- different AI algorithms to solve board games☆19Nov 4, 2018Updated 7 years ago
- Share your research online by compiling it to JavaScript!☆23Nov 30, 2014Updated 11 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 9 years ago
- Remotely control and view SWR graphs of your SARK100 or MINI60 antenna analyzer from your PC☆23Jan 5, 2021Updated 5 years ago
- Programs done for the nand2tetris☆19Feb 15, 2019Updated 7 years ago
- [WIP] Build node for android to run secure-scuttlebutt☆17Aug 12, 2017Updated 8 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26May 27, 2020Updated 5 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- trinary.dart☆16Mar 27, 2015Updated 10 years ago
- LMNtal Compiler☆21May 10, 2025Updated 9 months ago
- ☆22Jan 14, 2026Updated last month
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆26Sep 15, 2025Updated 5 months ago
- A Java port of TweetNaCl from the original C☆22Nov 6, 2025Updated 3 months ago
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- Busy Beaver deciders backed by Coq proof☆61Mar 2, 2025Updated 11 months ago
- AYCWABTU is a brute force control word calculation tool for the DVB common scrambling algorithm (csa) that finds keys in encrypted transp…☆27Apr 10, 2023Updated 2 years ago
- ☆40Nov 29, 2025Updated 2 months ago
- An interactive simulator of a simple computer☆19Jan 9, 2017Updated 9 years ago
- Stop losing them, me.☆15Mar 5, 2019Updated 6 years ago
- An XKCD-style password and random word generator module and CLI.☆30May 26, 2021Updated 4 years ago