yanchick / awesome-GoBadukWeiqiLinks
Awesome list for board game Go/Baduk/Weiqi
☆19Updated 3 years ago
Alternatives and similar repositories for awesome-GoBadukWeiqi
Users that are interested in awesome-GoBadukWeiqi are comparing it to the libraries listed below
Sorting:
- A fun way to visualize influence in the game of Go.☆21Updated 6 years ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆50Updated 10 months ago
- Example of injecting x64 shellcode into Amazon Redshift☆16Updated 7 years ago
- A transactional programming language.☆34Updated 6 years ago
- Exercism exercises in Coq.☆19Updated 10 months ago
- ☆34Updated last year
- a proposed translation of toki pona lexicon into github emoji☆24Updated 5 years ago
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Updated 9 years ago
- A sub-second static blogging framework☆32Updated last month
- A Magic: the Gathering™ expert system☆95Updated 13 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- Finite state machines as graphs☆60Updated 5 years ago
- A newborn programming language for extensible software☆16Updated 3 years ago
- Rust rewrite of the sunfish simple chess engine☆57Updated 3 years ago
- Jan☆13Updated 6 years ago
- Infuse nim into xv6 till it replaces all the "C"☆13Updated 9 years ago
- ☆41Updated 11 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Develop here a programming language of reversible combinators☆16Updated 3 years ago
- Superposition prover☆17Updated 2 years ago
- Codes related to Idris☆15Updated 10 years ago
- A web-based version of the board game Yinsh☆67Updated last year
- AI-driven, Multiplayer Go/Weiqi/Baduk for the web 🐛🤖🦀♟☆78Updated 2 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 7 years ago
- The Nomyx game☆84Updated last year
- Frege Interpreter☆15Updated 5 years ago
- Your happy place for learning APL☆15Updated 2 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 5 months ago
- A Java JIT compiler written in Haskell☆73Updated 12 years ago