featurecat / Influencie
A fun way to visualize influence in the game of Go.
☆21Updated 6 years ago
Alternatives and similar repositories for Influencie:
Users that are interested in Influencie are comparing it to the libraries listed below
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- 21.1 million Go games, 18k-9p☆125Updated 5 years ago
- DeepAlgebra☆25Updated 7 years ago
- Website for MiniGo, Leela-Zero and other Go data☆20Updated 4 years ago
- Learn Lean and topology☆21Updated last year
- GTP Wrapper to allow bots to interface with the Online-Go.com Server☆89Updated 2 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Creating a Roguelike in Racket for https://itch.io/jam/lisp-game-jam-2018☆11Updated 6 years ago
- Tinkering with creating a functional programming language for procedural content generation.☆18Updated 2 months ago
- Ten Thousand Tsumego App☆31Updated 4 months ago
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- Awesome list for board game Go/Baduk/Weiqi☆15Updated 2 years ago
- Practical Specification of Belief Manipulation in Games☆32Updated 7 years ago
- Source code for Dr. Peter Drake's computer Go engine.☆34Updated 9 years ago
- ☆17Updated 5 years ago
- Pixel art for games☆140Updated 10 years ago
- Kerkerkruip - the interactive fiction roguelike game☆84Updated 4 years ago
- Framework for Gibbs sampling of probabilistic models☆49Updated 9 years ago
- Reversible cellular automata simulator in HTML5 + Java Script.☆32Updated 7 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆21Updated last month
- The Nomyx game☆85Updated last year
- A programming language that deduces code from tests☆30Updated 7 years ago
- A tool for Go players: SGF editor, analysis tool, game database and pattern search tool, IGS client☆177Updated last year
- Repo with code for Ludii's built-in AIs.☆21Updated 2 years ago
- la sutysisku dictionary for Lojban and more☆36Updated 9 months ago
- Superposition prover☆17Updated 2 years ago
- A six-panel artistic rendition of Alan Turing☆20Updated 4 years ago
- ☆14Updated 10 months ago