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
  ☆31Updated last month
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• llvm-hs / llvm-hs-examples
  Examples for Haskell bindings to LLVM
  ☆71Updated 3 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated 4 months ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated 4 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• frex-project / idris-frex
  ☆47Updated 3 months ago
• vincenthz / hs-connection
  simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.
  ☆60Updated last year
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆55Updated last year
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 3 years ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 4 months ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆36Updated 4 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• expipiplus1 / vector-sized
  ☆35Updated 5 months ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆40Updated last month
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 8 months ago
• tfausak / burrito
  Parse and render URI templates.
  ☆16Updated last month
• agda / agda-pkg
  apkg - package manager for Agda
  ☆37Updated 3 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• byorgey / split
  Standard Haskell list splitting library.
  ☆56Updated last year
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated last month
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆26Updated 2 months ago
• dreixel / generic-deriving
  ☆44Updated 2 months ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆60Updated last month
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆28Updated 3 years ago