Skip to content



  1. agda handson

    Agda 4 3

  2. ML interpreter written in Prolog

    Prolog 3 1

  3. WebSocket server implementation of OCaml

    OCaml 12

34 contributions in the last year

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

Contribution activity

January - October 2020

krtx has no activity yet for this period.

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

You can’t perform that action at this time.