Block or report user

Report or block thalerjonathan

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • University of Nottingham
  • Nottingham



Pinned repositories

  1. phd

    Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary

    Limbo 11 2

  2. chimera

    A library for pure functional Agent-Based Simulation in Haskell

    Haskell 3

  3. gloss-idris

    A port of the gloss library from Haskell to Idris

    Idris 19

  4. glfw-idris-st

    Bindings for the GLFW library in Idris

    Idris 4

  5. gl-idris-b

    Low level OpenGL bindings for Idris

    Idris 4

1,214 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Activity overview
Contributed to thalerjonathan/phd, thalerjonathan/gloss-idris, thalerjonathan/chimera and 5 other repositories

Contribution activity

December 2018

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