Popular repositories Loading

1. vscode-project-links vscode-project-links Public

   A dead-simple extension for vscode to make project:// links work how you would expect

   TypeScript 5 4

2. imi_globe imi_globe Public

   Forked from dataarts/armsglobe

   Very old project trying to swap out the data source for google's arms globe with immigration data

   JavaScript

3. inventoryManager inventoryManager Public archive

   Assignment for internship application (2016)

   PHP

4. TopologicalGrid TopologicalGrid Public

   Personal project trying to make a grid system that supports non-planar manifolds

   TypeScript

5. atom-project-links atom-project-links Public

   A dead-simple atom package to make project:// links work how you would expect

   JavaScript

6. vscoq vscoq Public

   Forked from rocq-prover/vsrocq

   A Visual Studio Code extension for Coq [maintainer=@maximedenes]

   TypeScript