4 search results for "author:"https://github.com/dboulytchev""

Showing 1 - 4
  1. GT
    Documentation
    Generic programming with extensible transformations
    https://github.com/dboulytchev https://github.com/Kakadu
    0.5.5
    LGPL-2.1-or-later
    Used by 3 other packages
    Added to opam-repository
  2. logger-p5
    Documentation
    Camlp5 syntax extension for logging
    https://github.com/dboulytchev
    0.4.5
    Used by 2 other packages
    Added to opam-repository
  3. noCanren
    Documentation
    Translator from subset of OCaml to OCanren
    https://github.com/Lozov-Petr https://github.com/Kakadu https://github.com/dboulytchev
    0.3.0
    LGPL-2.1
    Used by 0 other packages
    Added to opam-repository
  4. OCanren
    Documentation
    Implementation of miniKanren relational (logic) EDSL
    Dmitrii Boulytchev https://github.com/dboulytchev Dmitrii Kosarev https://github.com/Kakadu Evgenii Moiseenko https://github.com/eupp Petr Lozov https://github.com/Lozov-Petr JetBrains Research https://research.jetbrains.org
    0.3.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository