Skip to content


  • Pro




  1. Proof and Code Presentation Framework

    Scala 22 3

  2. Scala Implementation of JSON RPC 2.0 Protocol

    Scala 4 2

  3. A language agnostic collaborative cloud IDE

    Scala 19 2

  4. CommonMark Parser for Scala (Early WIP)


  5. Graphical user interface to explore and integrate functional change management, verification and NLP techniques from the SPECifIC project


33 contributions in the last year

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

Contribution activity

June - July 2020

martinring has no activity yet for this period.

May 2020

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

You can’t perform that action at this time.