Repositories list

• papers

  Public
  TeX

  •0•0•0•0•Updated Feb 8, 2026Feb 8, 2026

• OCanren

  Public
  Statically typed embedding of miniKanren relational programming language into OCaml

  ocamlminikanrenrelational-programming

  OCaml

  •

  GNU Lesser General Public License v2.1

  •18•121•5•2•Updated Jan 29, 2026Jan 29, 2026

• JGS

  Public
  Java Generics Constraint Solver

  Raku

  •2•0•1•0•Updated Dec 25, 2025Dec 25, 2025

• Lama

  Public
  Teaching language LaMa for a compiler course

  programming-languagecompilerocaml

  Raku

  •

  GNU General Public License v3.0

  •46•79•5•1•Updated Dec 22, 2025Dec 22, 2025

• GT

  Public
  Datatype-generic object-oriented transformations for OCaml

  ocamlderiving

  OCaml

  •

  GNU Lesser General Public License v2.1

  •10•17•1•1•Updated Nov 16, 2025Nov 16, 2025

• ostap

  Public
  Ostap is a parser combinator library for OCaml

  parser-combinatorsocamlcamlp5

  TeX

  •

  GNU Lesser General Public License v2.1

  •0•0•0•0•Updated Mar 21, 2025Mar 21, 2025

• noCanren

  Public
  Translator from subset of OCaml to OCanren

  ocamlminikanrenrelational+ 1ocanren

  OCaml

  •2•3•5•1•Updated Aug 25, 2024Aug 25, 2024

• sirius2024

  Public
  OCaml

  •0•0•0•0•Updated Jan 25, 2024Jan 25, 2024

• Lama-devel

  Public
  OCaml

  •0•8•4•1•Updated Mar 12, 2023Mar 12, 2023

• generic-transformers

  Public
  OCaml

  •0•0•0•0•Updated Oct 3, 2016Oct 3, 2016