bmourad01 / ocamlchessLinks
UCI-compatible chess engine in OCaml.
☆14Updated 7 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
- an encoding of affine effect handlers using pthreads☆14Updated 3 years ago
- A simple λProlog interpreter☆20Updated 4 years ago
- 🩺 A library for compiler diagnostics☆47Updated 3 weeks ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- flexible 'let rec' generation for MetaOCaml☆28Updated 3 months ago
- ☆11Updated 3 years ago
- Tiny verified SAT-solver☆30Updated 3 years ago
- Higher kinded polymorphism in SML☆15Updated 5 years ago
- 🔙 Backward lists for OCaml☆22Updated 3 weeks 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
- My Attempt at System Fω with Row-Polymorphism☆30Updated 4 years ago
- Linearizability Hoare Logic☆14Updated 8 months ago
- A constraint solver built from scratch in OCaml☆12Updated 4 years ago
- Effectful OCaml with Objects and Variants☆29Updated 2 years ago
- 👹 A library for hierarchical names and lexical scoping☆26Updated 3 weeks ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- A verified Implementation of a mini prolog☆17Updated 3 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Updated last year
- ☆17Updated last year
- Effects-based OCaml Nameserver☆36Updated last week
- Algebraic structures in OCaml.☆25Updated 3 weeks ago
- multi-shot continuations in OCaml☆51Updated 3 weeks ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆21Updated 3 weeks ago
- 🦠 Reusable components based on algebraic effects☆51Updated 3 weeks ago
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Updated last year
- IO should be just a library☆23Updated 2 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Updated 2 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated last month
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago