Alternatives and similar repositories for yinsh

Users that are interested in yinsh are comparing it to the libraries listed below

• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 3 months ago
• lexi-lambda / lexi-lambda.github.io
  ☆37Updated 6 months ago
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated 9 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated 11 months ago
• zaitsev85 / message-from-space
  ☆34Updated 2 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆41Updated last year
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆29Updated this week
• b4er / recalc
  functional spreadsheet programming
  ☆23Updated 9 months ago
• mrkkrp / identicon
  Flexible generation of identicons in Haskell
  ☆16Updated 3 weeks ago
• varkor / tangle
  A modern string diagram editor for the web.
  ☆25Updated 8 months ago
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 7 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆67Updated last year
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆34Updated 2 months ago
• pbv / haskelite
  Re-implementation of a minimal interpreter for a subset of Haskell
  ☆37Updated 3 months ago
• YoshikuniJujo / lojban_parser
  lojban parser
  ☆23Updated 11 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆22Updated last year
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last month
• nushell / demo
  Experimental wasm-based Nu playground
  ☆26Updated 4 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 5 years ago
• 8Gitbrix / 2048Haskell
  Play 2048 from the command line /terminal !
  ☆45Updated 8 years ago
• jakesco / wordle-hs
  Command line version of Wordle.
  ☆59Updated 3 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆94Updated 3 weeks ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year