Alternatives and similar repositories for Barbarossa

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

• fbergo / zseal
  FICS timeseal v2 client implementation
  ☆21Updated 10 months ago
• cgoldammer / chess-database-backend
  The backend for the chess database
  ☆20Updated 3 years ago
• mlang / chessIO
  Fast haskell chess move generator library and console UCI frontend
  ☆33Updated 10 months ago
• thomas-maeder / popeye
  Popeye is a chess problem solving and testing software with strong support for fairy chess and heterodox genres. For more information cf.…
  ☆33Updated last week
• gelisam / ludum-dare-31
  The theme for LD31 was "Entire Game on One Screen"
  ☆28Updated 8 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• albertprz / turncoat
  Elegant UCI chess engine in Haskell
  ☆13Updated 10 months ago
• lambdacube3d / lambdacube-quake3
  Quake 3 map viewer in Haskell using LambdaCube 3D
  ☆69Updated 2 years ago
• nandor / hcraft
  Haskell clone of a certain game
  ☆93Updated 11 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 13 years ago
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆65Updated 5 months ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆154Updated last month
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 5 years ago
• astanin / moo
  Genetic algorithm library for Haskell. Binary and continuous (real-coded) GAs. Binary GAs: binary and Gray encoding; point mutation; one-…
  ☆59Updated last year
• katychuang / hakyll-cssgarden
  gallery of themes for hakyll static site generator
  ☆86Updated 6 years ago
• oinoom / Core
  compile your own functional language
  ☆36Updated 6 years ago
• lambdabot / lambdabot
  A friendly IRC bot and apprentice coder, written in Haskell.
  ☆165Updated 6 months ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆83Updated 10 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• ocharles / netwire-classics
  Classic games recreated in netwire
  ☆95Updated 8 years ago
• scmu / foundations-harper
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆53Updated 6 years ago
• samtay / conway
  A terminal interface for Conway's Game of Life
  ☆61Updated 5 years ago
• ocharles / hadoom
  A little Doom-like 2.5 game engine
  ☆85Updated 10 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆39Updated 9 years ago
• paulrzcz / hquantlib
  HQuantLib, financial math in Haskell
  ☆67Updated 11 months ago
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 9 years ago
• drummyfish / haskell_game
  Wolfenstein 3D, ray-casting FPS game I make to learn Haskell. No libraries used, rendering is done in terminal.
  ☆110Updated 7 years ago
• rocq-community / dedekind-reals
  A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
  ☆44Updated last year