featurecat / InfluencieLinks
A fun way to visualize influence in the game of Go.
☆23Updated 7 years ago
Alternatives and similar repositories for Influencie
Users that are interested in Influencie are comparing it to the libraries listed below
Sorting:
- Metamath verifier in Python☆40Updated 7 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 years ago
- The Nomyx game☆86Updated 2 years ago
- Javascript implementation of Fractran☆15Updated 8 years ago
- Haskell binding for PADS☆21Updated 6 years ago
- Awesome list for board game Go/Baduk/Weiqi☆18Updated 3 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 12 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- Superposition prover☆17Updated 2 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- A Scheduling Problem in Prolog☆12Updated 9 years ago
- VSCode Extension - Proof Assistant for Metamath☆13Updated 3 weeks ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Updated 5 years ago
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Explainable machine learning☆17Updated 6 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated 2 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated 3 weeks ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- miniKanren for search, SMT for solving☆13Updated 6 years ago
- Sgf Rendering CLI written in Rust☆46Updated 4 months ago
- A Magic: the Gathering™ expert system☆95Updated 14 years ago
- Compiler for MFM programming language☆25Updated 7 months ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Source of metamath book☆53Updated 2 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- Reversible cellular automata simulator in HTML5 + Java Script.☆32Updated 8 years ago