bmourad01 / ocamlchessLinks
UCI-compatible chess engine in OCaml.
☆14Updated 6 months ago
Alternatives and similar repositories for ocamlchess
Users that are interested in ocamlchess are comparing it to the libraries listed below
Sorting:
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
 - 🩺 A library for compiler diagnostics☆47Updated 2 months ago
 - A simple λProlog interpreter☆20Updated 3 years ago
 - A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
 - This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
 - an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
 - 🦠 Reusable components based on algebraic effects☆51Updated 2 months ago