Alternatives and similar repositories for awesome-GoBadukWeiqi

Users that are interested in awesome-GoBadukWeiqi are comparing it to the libraries listed below

• ramadis / slang
  📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
  ☆16Updated 9 years ago
• rockymadden / github-crypt
  Send encrypted messages to GitHubers via their SSH public key
  ☆15Updated 7 years ago
• julianandrews / sgf-render
  Sgf Rendering CLI written in Rust
  ☆44Updated 2 months ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 9 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• featurecat / Influencie
  A fun way to visualize influence in the game of Go.
  ☆22Updated 6 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• ashwin153 / caustic
  A transactional programming language.
  ☆34Updated 6 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• KeliLanguage / doc
  ☆18Updated 5 years ago
• jan-Lope / Toki_Pona-Parser
  Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…
  ☆51Updated last year
• mdr / mash
  An experimental object shell for Unix
  ☆56Updated 7 years ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆95Updated 13 years ago
• exercism / sml
  Exercism exercises in Standard ML.
  ☆28Updated last week
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• greenrd / topgit
  TopGit is now maintained at
  ☆95Updated 8 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 2 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 6 years ago
• mukeshtiwari / Idris
  Codes related to Idris
  ☆16Updated 10 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• batterseapower / pinyin-toolkit
  A plugin for the Anki Spaced Repetition System (http://ichi2.net/anki/)
  ☆39Updated 14 years ago
• MichaelBurge / redshift-shellcode
  Example of injecting x64 shellcode into Amazon Redshift
  ☆16Updated 8 years ago
• lord / emoji-shell
  A powered by emoji, written in Rust
  ☆39Updated 7 years ago
• Orego / Orego
  Source code for Dr. Peter Drake's computer Go engine.
  ☆34Updated 10 years ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆18Updated 10 years ago
• zaitsev85 / message-from-space
  ☆34Updated 2 years ago