leanprover/lean-client-js

Simplifies creation of HTML files to serve your webpack bundles

Lerna is a fast, modern build system for managing and publishing multiple JavaScript/TypeScript packages from the same repository

TypeScript loader for webpack

TypeScript execution environment and REPL for node.js, with source map support

An extensible static analysis linter for the TypeScript language

TypeScript is a language for application scale JavaScript development

Packs ECMAScript/CommonJs/AMD modules for the browser. Allows you to split your codebase into multiple bundles, which can be loaded on demand. Supports loaders to preprocess files, i.e. json, jsx, es7, css, less, ... and your custom stuff.

Serves a webpack app. Updates the browser on changes.