OlivierNicole / haskell-chess
A very simple chess engine written in Haskell (work in progress).
☆18Updated 6 years ago
Alternatives and similar repositories for haskell-chess:
Users that are interested in haskell-chess are comparing it to the libraries listed below
- Fast haskell chess move generator library and console UCI frontend☆31Updated last month
- The theory of groups☆76Updated last year
- Monadic Constraint Programming framework☆28Updated 6 years ago
- Examples for Haskell bindings to LLVM☆71Updated 3 years ago
- Named parameters (keyword arguments) for Haskell☆94Updated 4 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 4 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- ☆47Updated 3 months ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆60Updated last year
- Library of categories, with categorical constructions on them☆55Updated last year
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- ☆84Updated 7 years ago
- Haskell JSON library☆27Updated 4 months ago
- A non-interactive proof assistant using the Haskell type system☆36Updated 4 years ago
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- ☆35Updated 5 months ago
- Pre-processor for .hsc files☆40Updated last month
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 8 months ago
- Parse and render URI templates.☆16Updated last month
- apkg - package manager for Agda☆37Updated 3 years ago
- An experimental category theory library for Lean☆49Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Standard Haskell list splitting library.☆56Updated last year
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated last month
- Wrap up Haskell tools☆15Updated 3 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆26Updated 2 months ago
- ☆44Updated 2 months ago
- Haskell library for semigroup actions and torsors☆60Updated last month
- ☆29Updated 6 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 3 years ago