bmourad01 / ocamlchess
UCI-compatible chess engine in OCaml.
☆12Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for ocamlchess
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- 🩺 A library for compiler diagnostics☆35Updated last week
- A simple λProlog interpreter☆20Updated 2 years ago
- ☆11Updated last year
- A simple and portable floating-point interval arithmetic library in OCaml☆9Updated 2 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated last year
- Algebraic structures in OCaml.☆21Updated this week
- Formal Semantics for Why3☆14Updated this week
- Higher kinded polymorphism in SML☆15Updated 4 years ago
- 🔙 Backward lists for OCaml☆21Updated last month
- ☆16Updated 7 months ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Updated 8 months ago
- Experimental functional language☆18Updated 2 years ago
- Demo for dependent types + runtime code generation☆12Updated this week
- flexible 'let rec' generation for MetaOCaml☆26Updated last year
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 2 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- IO should be just a library☆23Updated last year
- Experimental type-checker for internally parametric type theory☆32Updated 3 years ago
- Lower-Kinded Optics for OCaml☆21Updated 2 years ago
- Effectful OCaml with Objects and Variants☆29Updated last year
- An implementation of "A Pretty Expressive Printer" in OCaml☆22Updated 7 months ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- Prototype code for some Julia-OCaml bindings☆12Updated 3 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 3 years ago
- An implementation of a simple Neural network in Idris using category theory.☆22Updated last month
- 🪆 A Staged Type Theory☆34Updated last year
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 5 years ago
- an encoding of affine effect handlers using pthreads☆12Updated last year
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago