Repositories list

• JGS

  Public
  Java Generics Constraint Solver

  Perl

  •2•0•0•0•Updated Oct 8, 2025Oct 8, 2025

• papers

  Public
  TeX

  •0•0•0•0•Updated Jul 27, 2025Jul 27, 2025

• OCanren

  Public
  Statically typed embedding of miniKanren relational programming language into OCaml

  ocamlminikanrenrelational-programming

  OCaml

  •

  GNU Lesser General Public License v2.1

  •18•118•5•3•Updated Jun 17, 2025Jun 17, 2025

• GT

  Public
  Datatype-generic object-oriented transformations for OCaml

  ocamlderiving

  OCaml

  •

  GNU Lesser General Public License v2.1

  •10•16•1•0•Updated Jun 14, 2025Jun 14, 2025

• Lama

  Public
  Teaching language LaMa for a compiler course

  programming-languagecompilerocaml

  Raku

  •

  GNU General Public License v3.0

  •41•76•4•1•Updated May 1, 2025May 1, 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