Popular repositories Loading

1. acg acg Public

   An attempt to implement abstract categorial grammars (acg) in ocaml, this project serves mainly learning purposes

   OCaml 2 1

2. iterative_monomorphisation iterative_monomorphisation Public

   Paper on an iterative monomorphisation algortihm and its implementation in zipperposition

   TeX 1

3. sparkle sparkle Public

   sparkle✨ is a small game engine written in rust, made with plenty of love (❤️) and tears (😭)

   Rust 1

4. tptp_bnf_to_pest tptp_bnf_to_pest Public

   transforms the official TPTP bnf into a pest file (in retrospect, this was never going to really work, this project can be usefull as a basis to write your pest grammar for tptp files but will stil…

   Rust 1

5. rust_engine rust_engine Public

   An attempt at providing the basis for a graphic (eventually game?) engine in rust based off glium.

   Rust

6. zipperposition zipperposition Public

   Forked from sneeuwballen/zipperposition

   An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…

   OCaml