Block or report user

Popular repositories

  1. learn-prolog-now-exercises

    My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

    Prolog 79 28

  2. json-schema-to-elm

    Generates Elm types, JSON decoders, and JSON encoders from JSON schema specifications

    Elixir 19 3

  3. i18n-to-elm

    Generates Elm types and functions from i18n key/value JSON files

    Elixir 5

  4. dot-emacs

    My .emacs file and related goodies

    Emacs Lisp 4

  5. simpl-lang

    A simple language created in Coq, batteries and correctness proofs included.

    Coq 4

  6. gesture-recognition

    Project for inferring various touch and object gestures using the TUIO protocol, CoffeeScript and node.js

    CoffeeScript 3

483 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

October 2017

15 contributions in private repositories Oct 1 – Oct 19

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