ntts

A CLI tool for refactoring an existing NodeJs application to a fully functional TypeScript application.

v2.1.0 URL: https://unpkg.com/ntts@2.1.0/bin/cli.js

Open Browse Files

Node.js NodeJS Node JavaScript TypeScript Refactoring Refactor TS-Morph TS JS TSC Converter Convert

lean4-code-actions

Refactorings and snippets for Lean 4

v1.1.32 URL: https://unpkg.com/lean4-code-actions@1.1.32/out/src/extension.js

Open Browse Files

Refactor Rename Move Snippet