Block or report user

Report or block rntz

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Pinned repositories

  1. datafun

    Research on integrating datalog & lambda calculus via monotonicity types

    TeX 144 9

  2. rotten

    Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler

    Python 65 1

  3. moxy

    Language with monoidally extensible syntax

    Racket 7 1

  4. minikanren-datalog

    Datalog implemented in minikanren

    Scheme 6 1

676 contributions in the last year

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

Contribution activity

July 2018

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