Pinned Loading

1. python-docs-opener python-docs-opener Public

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

   TypeScript

2. CERN/lhc-vdm-editor CERN/lhc-vdm-editor Public

   LHC VdM Scan files editor

   JavaScript 1 3

3. Isabelle-CAS-Integration Isabelle-CAS-Integration Public

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

   Isabelle 3 2

4. wtsi-hgi/gatk-cwl-generator wtsi-hgi/gatk-cwl-generator Public

   Generates CWL files from the GATK documentation

   Python 7 1

5. atom-haskell/haskell-debug atom-haskell/haskell-debug Public archive

   Implements a graphical haskell debugger in atom, using ghci

   TypeScript 21 1

6. autocomplete-gml autocomplete-gml Public archive

   GML autocompletions in atom

   JavaScript 2 2