nionita / BarbarossaLinks
Chess engine entirely written in Haskell
☆53Updated 2 weeks ago
Alternatives and similar repositories for Barbarossa
Users that are interested in Barbarossa are comparing it to the libraries listed below
Sorting:
- FICS timeseal v2 client implementation☆21Updated 8 months ago
- Fast haskell chess move generator library and console UCI frontend☆33Updated 9 months ago
- Elegant UCI chess engine in Haskell☆13Updated 8 months ago
- The backend for the chess database☆20Updated 3 years ago
- Example of combining Alex (lexical parser) and Happy (syntax parser)☆30Updated last year
- Popeye is a chess problem solving and testing software with strong support for fairy chess and heterodox genres. For more information cf.…☆32Updated 2 weeks ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated this week
- A friendly IRC bot and apprentice coder, written in Haskell.☆165Updated 4 months ago
- A language based on homotopy type theory with an interval☆83Updated 10 years ago
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 8 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- Generate Haskell code from a type☆142Updated 7 months ago
- being the materials for Summer 2013's course☆113Updated 2 years ago
- Named parameters (keyword arguments) for Haskell☆97Updated 6 months ago
- NES programming in Haskell? No way!☆39Updated 9 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆84Updated 5 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Summer school on programming in Agda☆68Updated 2 years ago
- gallery of themes for hakyll static site generator☆85Updated 6 years ago
- Command-line tool for formatting and publishing blog posts.☆20Updated 2 years ago
- Where my everyday research happens☆55Updated 4 months ago
- Haskell clone of a certain game☆93Updated 11 years ago
- A terminal interface for Conway's Game of Life☆61Updated 5 years ago
- Tutorial on monad transformers☆62Updated 3 years ago
- Text and Haskell source for my blog series on recursion schemes.☆45Updated 3 years ago
- compile your own functional language☆36Updated 6 years ago
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆167Updated 2 weeks ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆38Updated 4 years ago
- HQuantLib, financial math in Haskell☆67Updated 9 months ago