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 10 months ago
- The backend for the chess database☆20Updated 3 years ago
- Fast haskell chess move generator library and console UCI frontend☆33Updated 11 months ago
- Genetic algorithm library for Haskell. Binary and continuous (real-coded) GAs. Binary GAs: binary and Gray encoding; point mutation; one-…☆59Updated last year
- Elegant UCI chess engine in Haskell☆13Updated 10 months ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆154Updated 2 months ago
- NES programming in Haskell? No way!☆39Updated 10 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆51Updated 9 years ago
- constructive abstract algebra☆104Updated 5 years ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32Updated 2 years ago
- compile your own functional language☆36Updated 6 years ago
- Haskell clone of a certain game☆93Updated 11 years ago
- An interpreter for Gödel's System T☆13Updated 8 years ago
- Java parser and printer for haskell☆67Updated 4 years ago
- A terminal interface for Conway's Game of Life☆61Updated 5 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Haskell example: A simple fractal image renderer☆40Updated 11 years ago
- A friendly IRC bot and apprentice coder, written in Haskell.☆166Updated 2 weeks ago
- Brent's PhD thesis.☆69Updated 9 years ago
- A monad for interfacing with external SAT solvers☆65Updated 5 months ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Exact real arithmetic in Haskell☆25Updated 4 years ago
- doom☆17Updated 9 years ago
- Examples for Haskell bindings to LLVM☆73Updated 4 years ago
- Absal ex☆58Updated 2 years ago
- apkg - package manager for Agda☆38Updated 4 years ago
- Example of combining Alex (lexical parser) and Happy (syntax parser)☆30Updated last year
- Simple adjunctions☆45Updated 2 months ago
- Named parameters (keyword arguments) for Haskell☆98Updated 8 months ago