featurecat / Influencie
A fun way to visualize influence in the game of Go.
☆20Updated 5 years ago
Related projects: ⓘ
- Metamath verifier in Python☆35Updated 5 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- DeepAlgebra☆25Updated 6 years ago
- Compiler for MFM programming language☆21Updated 3 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆128Updated 10 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆23Updated 4 years ago
- A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.☆28Updated 9 years ago
- MUD Server written in Prolog using Forward chaining☆30Updated 2 years ago
- The Nomyx game☆83Updated 10 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- A Scheduling Problem in Prolog☆12Updated 8 years ago
- Script for sorting a csv-file with Chinese phrases according to tone☆19Updated 10 years ago
- tiny experimental language for limited environments☆14Updated last year
- ☆24Updated last year
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 4 years ago
- A programming language that deduces code from tests☆30Updated 6 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆12Updated 8 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 6 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 10 years ago
- A set of tools for analysis of texts in the Ithkuil constructed language☆30Updated 5 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆16Updated last year
- experimental computational medium and supporting tools☆22Updated this week
- Explainable machine learning☆18Updated 5 years ago
- Self-organization Interactive Evolution (SOIE) is a simulation interface, allowing the interactive exploration of self-organizing particl…☆48Updated 4 years ago
- Reversible cellular automata simulator in HTML5 + Java Script.☆31Updated 7 years ago
- Racket Lang for Virtual Reality (Aframe)☆10Updated 4 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated last year
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆19Updated 4 years ago