featurecat / InfluencieLinks
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
Sorting:
- The Nomyx game☆84Updated last year
- Haskell bindings to SymEngine☆27Updated 2 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- Awesome list for board game Go/Baduk/Weiqi☆19Updated 3 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- DeepAlgebra☆25Updated 7 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- 21.1 million Go games, 18k-9p☆131Updated 5 years ago
- Tinkering with creating a functional programming language for procedural content generation.☆18Updated 9 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- A simple and elegant ray tracer.☆13Updated last year
- Javascript implementation of Fractran☆14Updated 7 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
- Superposition prover☆17Updated 2 years ago
- A six-panel artistic rendition of Alan Turing☆20Updated 5 years ago
- Movable Feast Machine C++ reference implementation and simulator☆91Updated 3 months ago
- A Scheduling Problem in Prolog☆12Updated 9 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 7 months ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- Compiler for MFM programming language☆23Updated 2 months ago
- Your happy place for learning APL☆15Updated 2 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- A tutorial for DCG's in swi-Prolog☆34Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Compiler for MFM programming language☆59Updated 5 months ago
- Visual functional programming language☆23Updated last year
- MUD Server written in Prolog using Forward chaining☆28Updated 3 years ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago