GaganSD / Connect-Four-AI-BotLinks
Implementation of symbolic AI techniques for the board game 'Connect Four'
☆10Updated 5 years ago
Alternatives and similar repositories for Connect-Four-AI-Bot
Users that are interested in Connect-Four-AI-Bot are comparing it to the libraries listed below
Sorting:
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated 6 months ago
- Smash products, Wedge products, and other Pointed stuff☆34Updated 3 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 4 years ago
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- Some tools for provability logic☆37Updated 7 years ago
- ☆18Updated 5 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last month
- Generate your PureScript types and API client from a Haskell Servant backend.☆30Updated 2 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 4 months ago
- sudoku solver in haskell☆41Updated 3 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 9 months ago
- Moved to Haskell.org GitLab.☆61Updated 2 weeks ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- ☆13Updated 5 years ago
- ☆29Updated 5 years ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 10 months ago
- First-class type families☆88Updated 2 weeks ago
- An efficient graph library for Haskell☆39Updated 2 weeks ago
- Haskell bindings to ArrayFire☆60Updated 5 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 2 months ago
- Functions and newtype wrappers for traversing Trees☆30Updated 8 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- Fast haskell chess move generator library and console UCI frontend☆32Updated 4 months ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Code written for the Berlin FP meetup.☆25Updated 5 years ago
- Pre-processor for .hsc files☆41Updated 2 months ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 6 years ago