Alternatives and similar repositories for yinsh:

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

• andyfriesen / Helium
  Happy Haskell Hacking with Atom and ghc-mod
  ☆29Updated 9 years ago
• amnh / PCG
  𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search
  ☆30Updated 2 years ago
• coq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆27Updated 2 months ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• TikhonJelvis / inductive-mazes
  Code for my blog post "Generating Mazes with Inductive Graphs"
  ☆36Updated 6 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated 4 months ago
• leanprover / lean-client-js
  ☆37Updated last year
• ghulette / happy-example
  A very simple example of how to use Alex and Happy to build a language processor in Haskell.
  ☆15Updated 10 years ago
• andrejbauer / clerical
  Command-like expressions for real infinite-precision calculations
  ☆42Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last week
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆92Updated 3 months ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated 8 months ago
• haskell / pvp
  Haskell Package Version Policy (PVP)
  ☆38Updated 5 months ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• dfordivam / tenjinreader
  Full stack Haskell, Japanese learning app
  ☆32Updated 4 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 2 months ago
• byorgey / species
  ☆17Updated 11 months ago
• hoovercj / vscode-haskell-linter
  An extension to bring hlint to vscode
  ☆28Updated 4 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆44Updated 2 years ago
• storm-framework / storm
  Static security for database-backed Haskell applications using Liquid Haskell
  ☆18Updated 8 months ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆15Updated 3 months ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆21Updated 2 months ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆27Updated 10 months ago
• joshuanianji / idris-2-docker
  Multi-arch, multi-distro Docker images for Idris 2
  ☆13Updated last month
• alt-romes / reference-counting
  Reference counting with linear types
  ☆30Updated 6 months ago
• ndmitchell / safe
  Haskell library for safe (pattern match free) functions
  ☆45Updated 11 months ago