Alternatives and similar repositories for yinsh

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

• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆142Updated 10 months ago
• varkor / tangle
  A modern string diagram editor for the web.
  ☆26Updated 9 months ago
• zaitsev85 / message-from-space
  ☆34Updated 2 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆40Updated last year
• lexi-lambda / lexi-lambda.github.io
  ☆38Updated 7 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 4 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated last year
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆94Updated 3 weeks ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆32Updated 2 months ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆35Updated 3 months ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated last week
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆33Updated 2 years ago
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆29Updated 3 weeks ago
• mrkkrp / identicon
  Flexible generation of identicons in Haskell
  ☆16Updated last week
• dunhamsteve / newt
  A toy dependent typed language.
  ☆36Updated last week
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆84Updated 4 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆26Updated 2 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• dhall-lang / dhall-nethack
  Generate NetHack configurations using Dhall
  ☆37Updated 4 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated 2 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• stefan-hoeck / idris2-pack-db
  ☆30Updated this week
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 3 months ago
• byorgey / species
  ☆17Updated 4 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago