cgoldammer / chess-database-backendLinks
The backend for the chess database
☆20Updated 3 years ago
Alternatives and similar repositories for chess-database-backend
Users that are interested in chess-database-backend are comparing it to the libraries listed below
Sorting:
- Chess engine entirely written in Haskell☆53Updated 2 weeks ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32Updated 2 years ago
- ☆28Updated 7 years ago
- 🌳 a monadic FRP game library for haskell☆25Updated 5 years ago
- Simple reflection of expressions☆34Updated 4 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Quickcheck Properties for common typeclasses☆35Updated 5 months ago
- Evaluate special comments in your program on file save.☆39Updated 5 years ago
- experimenting with unlifted classes via backpack☆36Updated 3 years ago
- 3D-Rubik's cube simulator written in Haskell using Gloss☆29Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Combine and enhance Functors☆39Updated 2 months ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 3 weeks ago
- checkers for algebra driven design☆34Updated 2 years ago
- Verified left pad☆19Updated 7 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 3 months ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- Trie-based memo functions☆92Updated 8 months ago
- Signature inference for Functional Property Discovery in Haskell☆38Updated 8 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 8 months ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- ZuriHac registration system☆23Updated 3 weeks ago
- Functions and newtype wrappers for traversing Trees☆30Updated last year
- A new all Haskell "tagged" DFA regex engine, inspired by libtre☆44Updated 5 years ago
- Classes for types where we know all the values☆39Updated 9 months ago
- Testing Infrastructure for Temporal AbstractioNs☆23Updated 5 years ago
- Free ideas, worth every penny☆33Updated 4 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- rewrite rules for type-level equalities☆62Updated last month
- Standard module for type-level programming in Haskell☆30Updated 6 years ago