Pinned Loading

1. VS code extension to open documentation for the current symbol under the cursor in the default web browser

   TypeScript

2. LHC VdM Scan files editor

   JavaScript 1 3

3. A project to integrate the functionality of Computer Algebra Systems into Isabelle

   Isabelle 3 2

4. Generates CWL files from the GATK documentation

   Python 7 1

5. Implements a graphical haskell debugger in atom, using ghci

   TypeScript 21 1

6. GML autocompletions in atom

   JavaScript 2 2