Repositories list

• noCanren

  Public
  Translator from subset of OCaml to OCanren

  ocamlminikanrenrelational+ 1

  ocamlminikanrenrelationalocanren

  OCaml

  •22 forks in PLTools/noCanren•33 stars in PLTools/noCanren•55 issues in PLTools/noCanren•11 pull request in PLTools/noCanren•Updated Oct 26, 2026Oct 26, 2026

• ostap

  Public
  Ostap is a parser combinator library for OCaml

  parser-combinatorsocamlcamlp5

  parser-combinatorsocamlcamlp5

  TeX

  •

  GNU Lesser General Public License v2.1

  •00 forks in PLTools/ostap•11 star in PLTools/ostap•00 issues in PLTools/ostap•00 pull requests in PLTools/ostap•Updated Oct 25, 2026Oct 25, 2026

• Lama

  Public
  Teaching language LaMa for a compiler course

  programming-languagecompilerocaml

  programming-languagecompilerocaml

  Raku

  •

  GNU General Public License v3.0

  •5151 forks in PLTools/Lama•8181 stars in PLTools/Lama•88 issues in PLTools/Lama•22 pull requests in PLTools/Lama•Updated Oct 22, 2026Oct 22, 2026

• papers

  Public
  TeX

  •00 forks in PLTools/papers•00 stars in PLTools/papers•00 issues in PLTools/papers•00 pull requests in PLTools/papers•Updated Sep 25, 2026Sep 25, 2026

• GT

  Public
  Datatype-generic object-oriented transformations for OCaml

  ocamlderiving

  ocamlderiving

  OCaml

  •

  GNU Lesser General Public License v2.1

  •1111 forks in PLTools/GT•1717 stars in PLTools/GT•00 issues in PLTools/GT•11 pull request in PLTools/GT•Updated Aug 29, 2026Aug 29, 2026

• OCanren

  Public
  Statically typed embedding of miniKanren relational programming language into OCaml

  ocamlminikanrenrelational-programming

  ocamlminikanrenrelational-programming

  OCaml

  •

  GNU Lesser General Public License v2.1

  •1818 forks in PLTools/OCanren•125125 stars in PLTools/OCanren•55 issues in PLTools/OCanren•33 pull requests in PLTools/OCanren•Updated Aug 27, 2026Aug 27, 2026

• JGS

  Public
  Java Generics Constraint Solver

  Raku

  •22 forks in PLTools/JGS•00 stars in PLTools/JGS•11 issue in PLTools/JGS•00 pull requests in PLTools/JGS•Updated Apr 5, 2026Apr 5, 2026

• sirius2024

  Public
  OCaml

  •00 forks in PLTools/sirius2024•00 stars in PLTools/sirius2024•00 issues in PLTools/sirius2024•00 pull requests in PLTools/sirius2024•Updated Jan 25, 2024Jan 25, 2024

• Lama-devel

  Public
  OCaml

  •00 forks in PLTools/Lama-devel•88 stars in PLTools/Lama-devel•44 issues in PLTools/Lama-devel•11 pull request in PLTools/Lama-devel•Updated Mar 12, 2023Mar 12, 2023

• generic-transformers

  Public
  OCaml

  •00 forks in PLTools/generic-transformers•00 stars in PLTools/generic-transformers•00 issues in PLTools/generic-transformers•00 pull requests in PLTools/generic-transformers•Updated Oct 3, 2016Oct 3, 2016