Skip to content
View Oregu's full-sized avatar

Block or report Oregu

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 Loading

  1. featherweight featherweight Public

    μKanren implementation in Haskell

    Haskell 18

  2. untyped untyped Public

    Relational lambda calculus interpreter with clojure core.logic.

    Clojure 14

  3. usher usher Public

    Recurisive program synthesis.

    Clojure 5

  4. _.java _.java Public

    Java 8 functional utility _ belt

    Java 3 1

  5. recur recur Public

    Resursive program syntesis with relational interpreters in miniKanren.

    Clojure 3

  6. calculi-js calculi-js Public

    Lambda calculus interpreter in your browser

    JavaScript 1