Pinned Loading

2. Proof and Code Presentation Framework

   Scala 22 3

3. A language agnostic collaborative cloud IDE

   Scala 19 2

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

   JavaScript

5. json schema for textmate grammar definitions

   114 24

6. interactive exercise sheet generator

   TypeScript 4