Skip to content
View kajigor's full-sized avatar
16 followers · 2 following
  • JetBrains Research
  • Belgrade

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback
Block or Report

Block or report kajigor

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. uKanren_transformations uKanren_transformations Public

    Haskell 2 4

  2. Conjunctive-Partial-Deduction Conjunctive-Partial-Deduction Public

    Forked from poitin/Conjunctive-Partial-Deduction

    Implementation of Conjunctive Partial Deduction as described in the paper "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments"

    Haskell

  3. Higher-Level-Transformer Higher-Level-Transformer Public

    Forked from poitin/Higher-Level-Transformer

    Higher-Level Transformer as described in the paper "The Next 700 Program Transformers"

    Haskell

  4. tex tex Public

    Various written stuff: papers, slides, talks

    TeX 3

  5. FormalLanguageConstrainedReachability-LectureNotes FormalLanguageConstrainedReachability-LectureNotes Public

    Forked from FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes

    Материалы по достижимости с ограничениями в терминах формальных языков

    TeX

  6. OCanren OCanren Public

    Forked from PLTools/OCanren

    Statically typed embedding of miniKanren relational programming language into Objective Caml

    TeX