Alternatives and similar repositories for yinsh

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

• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆66Updated 10 months ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆44Updated 2 months ago
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated 5 months ago
• exercism / coq
  Exercism exercises in Coq.
  ☆19Updated 10 months ago
• kseo / fp
  John Backus' Functional Programming Systems
  ☆16Updated 9 years ago
• b4er / recalc
  functional spreadsheet programming
  ☆19Updated 5 months ago
• ctford / Idris-Elba-Dev
  A Whitespace-Based Dependently Typed Functional Programming Language
  ☆16Updated 8 years ago
• diagrams / diagrams-svg
  An SVG backend for diagrams
  ☆51Updated 2 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆82Updated 10 months ago
• athas / futball
  You are trapped on an infinite tile floor along with murderous marbles
  ☆11Updated 11 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• 8Gitbrix / 2048Haskell
  Play 2048 from the command line /terminal !
  ☆43Updated 7 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆32Updated last week
• varkor / tangle
  A modern string diagram editor for the web.
  ☆25Updated 4 months ago
• dhall-lang / dhall-nethack
  Generate NetHack configurations using Dhall
  ☆36Updated 4 years ago
• samtay / conway
  A terminal interface for Conway's Game of Life
  ☆61Updated 5 years ago
• lexi-lambda / lexi-lambda.github.io
  ☆35Updated 2 months ago
• zaitsev85 / message-from-space
  ☆34Updated last year
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• haskell / math-functions
  Special mathematical functions
  ☆43Updated last year
• haskell / pvp
  Haskell Package Version Policy (PVP)
  ☆40Updated last year
• TikhonJelvis / inductive-mazes
  Code for my blog post "Generating Mazes with Inductive Graphs"
  ☆41Updated 6 years ago
• ditto / ditto
  A Super Kawaii Dependently Typed Programming Language
  ☆174Updated 7 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆170Updated 2 months ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆82Updated last week
• jkoppel / ecta
  ☆36Updated last year
• matterhorn-chat / mattermost-api
  Client side API for communicating with a mattermost server in Haskell
  ☆24Updated 2 months ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago