mlang / chessIO
Fast haskell chess move generator library and console UCI frontend
☆31Updated last week
Alternatives and similar repositories for chessIO:
Users that are interested in chessIO are comparing it to the libraries listed below
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 7 months ago
- Fast Haskell RPC☆24Updated 3 weeks ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆42Updated 2 months ago
- Strategy game in Haskell (PRs: )☆51Updated 4 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated last week
- ⛏ ️ A refinement proof framework for haskell☆69Updated last year
- ☆39Updated 4 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 4 months ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆79Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- sudoku solver in haskell☆41Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 2 weeks ago
- higher-kinded data☆30Updated last year
- Effects libraries in Haskell☆71Updated last year
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- ️🌈 Convenient interface for printing colourful messages☆67Updated 3 weeks ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆39Updated 5 months ago
- ☆27Updated last week
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆76Updated last year
- Where my everyday research happens☆52Updated last week
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆81Updated 3 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Flexible persistence for Haskell data types primarily based on event logging and checkpoints☆47Updated 6 years ago
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- Diffing of (expression) trees.☆77Updated last week