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
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• frex-project / idris-frex
  ☆47Updated 3 months ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated 4 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• ghulette / haskell-parser-examples
  Examples of a simple parser written in both Parsec and Happy/Alex
  ☆51Updated 9 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 4 months ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆55Updated last year
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated 4 months ago
• zenzike / yoda
  A simple combinator library
  ☆29Updated 6 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆36Updated 4 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated last year
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆72Updated 2 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 5 months ago
• haskell / haskell-report
  Haskell Language Report
  ☆92Updated 4 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆126Updated 6 months ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• llvm-hs / llvm-hs-examples
  Examples for Haskell bindings to LLVM
  ☆71Updated 3 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆57Updated 6 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 4 months ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 6 months ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• dalaing / little-languages
  Playing with DSLs in Haskell
  ☆22Updated 8 years ago