Block or report user

Pinned repositories

  1. featherweight

    μKanren implementation in Haskell

    Haskell 13

  2. untyped

    Relational lambda calculus interpreter with clojure core.logic.

    Clojure 12

  3. usher

    Recurisive program synthesis.

    Clojure 5


    Java 8 functional utility _ belt

    Java 1 1

  5. recur

    Resursive program syntesis with relational interpreters in miniKanren.

    Clojure 2

  6. calculi-js

    Lambda calculus interpreter in your browser


73 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

Seeing something unexpected? Take a look at the GitHub profile guide.