2 search results for "author:"JetBrains Research https://research.jetbrains.org""

  1. OCanren
    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
    Used by 2 other packages
    Last published 03 May 2022
  2. OCanren-ppx
    Implementation of miniKanren relational (logic) EDSL: PPX extensions
    Dmitrii Kosarev https://github.com/Kakadu JetBrains Research https://research.jetbrains.org
    0.3.0
    LGPL-2.1
    Used by 2 other packages
    Last published 03 May 2022