Popular repositories Loading

1. acg acg Public

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

   OCaml 1 1

2. rust_engine rust_engine Public

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

   Rust

3. tmp tmp Public

   for debugging

   Nix

4. 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 1

5. mono_testing mono_testing Public

   benchmarks for monomorphisation related testing

   OpenEdge ABL

6. sparkle sparkle Public

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

   Rust