Alternatives and similar repositories for yinsh

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

• leanprover / lean-client-js
  ☆38Updated 2 years ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated last year
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• andyfriesen / Helium
  Happy Haskell Hacking with Atom and ghc-mod
  ☆29Updated 10 years ago
• varkor / tangle
  A modern string diagram editor for the web.
  ☆25Updated last month
• 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
• exercism / idris
  Exercism exercises in Idris.
  ☆34Updated last week
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last week
• andrejbauer / clerical
  Command-like expressions for real infinite-precision calculations
  ☆49Updated 2 weeks ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• egonSchiele / dominion
  A Dominion simulator in Haskell
  ☆111Updated 8 years ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 7 years ago
• rzk-lang / hottbook
  HoTT Book formalisations in Rzk.
  ☆18Updated last year
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆30Updated 4 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 2 weeks ago
• Vicfred / codeforces-haskell
  problems from codeforces solved in haskell
  ☆11Updated 5 years ago
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆20Updated last year
• kseo / fp
  John Backus' Functional Programming Systems
  ☆16Updated 9 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 3 months ago
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆36Updated 3 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 6 months ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• fetburner / coq-dijkstra
  A Verified Implementation of Dijkstra's Algorithm
  ☆18Updated 4 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 7 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 7 months ago
• nyuichi / LeanHOL
  super tiny implementation of higher-order logic proof assistant in lean
  ☆21Updated 5 years ago
• jan-Lope / Toki_Pona-Parser
  Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…
  ☆51Updated 7 months ago