Pinned

1. npm-filter Public

   Tool to determine metrics for specified npm packages and/or JavaScript github repos

   Python 7 2

2. stubbifier Public

   Tool for debloating JavaScript applications

   TypeScript 1

3. JSEventAPIModelling Public

   Large-scale learning of event-based API dead listener bugs for JS packages: data and code

   Python 1

4. babelJS-gen-gen Public

   Generate the BabelJS generation code to generate a given JS file

   TypeScript 1

5. Resynchronizer Public

   Tool for reordering await expressions in asynchronous JavaScript to increase concurrency; backend is a static side effect analysis

   Python

6. VectorSpace Public

   Code to symbolically check vector space axioms for a given vector space class.

   C++