Alternatives and similar repositories for yinsh:

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

• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• leanprover / lean-client-js
  ☆38Updated last year
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated 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
• jkoppel / ecta
  ☆35Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆124Updated 2 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆41Updated last year
• dobesv / charity
  Charity Programming Language
  ☆39Updated 10 years ago
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆20Updated last year
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• kseo / fp
  John Backus' Functional Programming Systems
  ☆16Updated 8 years ago
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆75Updated 6 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• amnh / PCG
  𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search
  ☆30Updated 2 years ago
• rocq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆27Updated last month
• purescript / purescript-ordered-collections
  Purely functional map and set data structures
  ☆36Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• gallais / agda-presburger
  Deciding Presburger arithmetic in agda
  ☆31Updated 2 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 3 weeks ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆18Updated 4 months ago
• OlivierNicole / haskell-chess
  A very simple chess engine written in Haskell (work in progress).
  ☆18Updated 6 years ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated last month
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆22Updated 3 years ago
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 3 years ago
• dreixel / generic-deriving
  ☆44Updated 2 months ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆20Updated last month
• nyuichi / LeanHOL
  super tiny implementation of higher-order logic proof assistant in lean
  ☆21Updated 5 years ago