Skip to content

@PLTools Programming Languages & Tools Group Space

Change the repository type filter

All

    Repositories list

    10 repositories

    • JGS

      Public
      Java Generics Constraint Solver
      Perl
      •2•0•0•0•Updated Jul 28, 2025Jul 28, 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•0•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•75•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
      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