Alternatives and similar repositories for haskell-chess

Users that are interested in haskell-chess are comparing it to the libraries listed below

• mlang / chessIO
  Fast haskell chess move generator library and console UCI frontend
  ☆33Updated 11 months ago
• haskell / play-haskell
  Haskell Playground
  ☆155Updated 2 months ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• rainbyte / frag
  Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong
  ☆145Updated 5 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated 2 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆154Updated 2 months ago
• haskellweekly / haskellweekly
  Publishes curated news about the Haskell programming language.
  ☆155Updated last week
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆117Updated 9 months ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 2 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• Mzk-Levi / texts
  ☆162Updated 10 years ago
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆231Updated 3 weeks ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆278Updated last week
• UniMath / Schools
  ☆93Updated 7 months ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆266Updated this week
• benediktahrens / CT4P
  ☆36Updated last month
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆173Updated 5 years ago
• TikhonJelvis / inductive-mazes
  Code for my blog post "Generating Mazes with Inductive Graphs"
  ☆41Updated 7 years ago
• haskell / haskell-report
  Haskell Language Report
  ☆94Updated 5 years ago
• bollu / cellularAutomata
  a collection of cellular automata written in Haskell with Diagrams
  ☆188Updated 6 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 8 months ago
• haskell / haddock
  Haskell Documentation Tool
  ☆361Updated last year
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆200Updated 3 weeks ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• soupi / rfc
  My slides and compilation of resources.
  ☆157Updated last year
• haskell / bytestring
  An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
  ☆301Updated last month
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆39Updated 2 months ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆81Updated 2 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago