nionita / BarbarossaLinks
Chess engine entirely written in Haskell
☆53Updated 2 months 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 11 months ago
- The backend for the chess database☆20Updated 3 years ago
- Fast haskell chess move generator library and console UCI frontend☆33Updated 2 weeks ago
- Elegant UCI chess engine in Haskell☆13Updated 11 months ago
- Popeye is a chess problem solving and testing software with strong support for fairy chess and heterodox genres. For more information cf.…☆36Updated last week
- A terminal interface for Conway's Game of Life☆61Updated 5 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- Proof checker for propositional logic☆16Updated 8 years ago
- A multi-method simulation library☆81Updated last year
- Quake 3 map viewer in Haskell using LambdaCube 3D☆69Updated 2 years ago
- Haskell clone of a certain game☆93Updated 11 years ago
- Genetic algorithm library for Haskell. Binary and continuous (real-coded) GAs. Binary GAs: binary and Gray encoding; point mutation; one-…☆59Updated last year
- Chess Variants Training is a website where you can improve at chess variants.☆23Updated 9 months ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 5 years ago
- constructive abstract algebra☆104Updated 5 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 2 weeks ago
- Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves tha…☆52Updated last week
- Symbolic financial contract EDSL☆39Updated 5 years ago
- Chess engine☆18Updated 3 months ago
- Chess experiments☆47Updated 5 years ago
- Some tools for provability logic☆37Updated 7 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Updated 9 years ago
- A monad for interfacing with external SAT solvers☆65Updated 6 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 3 months ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 6 years ago
- HQuantLib, financial math in Haskell☆67Updated last year
- The LC3 virtual machine☆24Updated last year
- Some useful control operators for looping☆47Updated 5 years ago
- NES programming in Haskell? No way!☆39Updated 10 years ago