Skip to content
@PLTools

Programming Languages & Tools Group Space

Pinned Loading

  1. OCanren OCanren Public

    Statically typed embedding of miniKanren relational programming language into OCaml

    OCaml 116 19

Repositories

Showing 10 of 10 repositories
  • Lama Public

    Teaching language LaMa for a compiler course

    PLTools/Lama’s past year of commit activity
    OCaml 67 GPL-3.0 28 3 0 Updated Sep 5, 2024
  • ostap Public

    Ostap is a parser combinator library for OCaml

    PLTools/ostap’s past year of commit activity
    TeX 0 LGPL-2.1 0 0 0 Updated Aug 29, 2024
  • noCanren Public

    Translator from subset of OCaml to OCanren

    PLTools/noCanren’s past year of commit activity
    OCaml 2 2 5 1 Updated Aug 25, 2024
  • OCanren Public

    Statically typed embedding of miniKanren relational programming language into OCaml

    PLTools/OCanren’s past year of commit activity
    OCaml 116 LGPL-2.1 19 2 0 Updated Aug 25, 2024
  • papers Public
    PLTools/papers’s past year of commit activity
    TeX 0 0 0 0 Updated Aug 24, 2024
  • GT Public

    Datatype-generic object-oriented transformations for OCaml

    PLTools/GT’s past year of commit activity
    OCaml 16 LGPL-2.1 10 3 0 Updated Aug 5, 2024
  • sirius2024 Public
    PLTools/sirius2024’s past year of commit activity
    OCaml 0 0 0 0 Updated Jan 25, 2024
  • JGS Public

    Java Generics Constraint Solver

    PLTools/JGS’s past year of commit activity
    Perl 0 2 0 0 Updated Oct 5, 2023
  • Lama-devel Public
    PLTools/Lama-devel’s past year of commit activity
    OCaml 8 0 4 1 Updated Mar 12, 2023
  • generic-transformers Public
    PLTools/generic-transformers’s past year of commit activity
    OCaml 0 0 0 0 Updated Oct 3, 2016

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…