Pinned

1. atom-haskell/haskell-debug Public

   Implements a graphical haskell debugger in atom, using ghci

   TypeScript 20 1

2. autocomplete-gml Public

   GML autocompletions in atom

   JavaScript 2 2

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

   Generates CWL files from the GATK documentation

   Python 7 1

4. CERN/lhc-vdm-editor Public

   LHC VdM Scan files editor

   JavaScript 1

5. wtsi-hgi/webhook-router Public

   A system that accepts incoming webhooks from the Internet and routes them to internal locations, depending on a configuration that can be dynamically modified by users

   Vue 1

6. Isabelle-CAS-Integration Public

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

   Isabelle 2