GaganSD / Connect-Four-AI-Bot
Implementation of symbolic AI techniques for the board game 'Connect Four'
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Connect-Four-AI-Bot
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 8 months ago
- sudoku solver in haskell☆41Updated 3 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- 👓 Profunctor based lightweight implementation of Lenses☆72Updated last year
- Haskell library for semigroup actions and torsors☆57Updated 9 months ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆42Updated last week
- Some tools for provability logic☆36Updated 6 years ago
- Tensors in Haskell☆40Updated 3 weeks ago
- Haskell program configuration using higher kinded data☆29Updated 6 months ago
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- ☆18Updated 5 years ago
- Order theory☆23Updated last year
- ☆13Updated 4 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Haskell library containing common graph search algorithms☆52Updated last week
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- checkers for algebra driven design☆34Updated 2 years ago
- Provides a type-safe way of working with permutations in Idris☆34Updated 3 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆66Updated 6 months ago
- Source for personal blog.☆76Updated last week
- Practical Deep Learning in Haskell now!☆50Updated 2 years ago
- Stacks and queues with compact representations☆16Updated 4 years ago