denisgorbachev/vscode-lean4-code-ac...

A library for arbitrary-precision decimal and non-decimal arithmetic

Loads environment variables from .env file

Immutable date wrapper

Fast and powerful CSV parser for the browser that supports web workers and streaming large files. Converts CSV to JSON and JSON to CSV.

JavaScript parser and stringifier for YAML

TypeScript-first schema declaration and validation library with static type inference

Super-fast alternative for babel

swc integration for jest

TypeScript definitions for chai

TypeScript definitions for chai-as-promised

TypeScript definitions for chai-subset

TypeScript definitions for debug

TypeScript definitions for glob

TypeScript definitions for jest

TypeScript definitions for luxon

TypeScript definitions for node

TypeScript definitions for vscode

TypeScript plugin for ESLint

An ESLint custom parser which leverages TypeScript ESTree

BDD/TDD assertion library for node.js and the browser. Test framework agnostic.

Extends Chai with assertions about promises.

Object properties matcher for Chai

An extremely fast JavaScript and CSS bundler and minifier.

Import with sanity.

Additional ESLint's rules for Node.js

Property based testing framework for JavaScript (like QuickCheck)

the most correct and second fastest glob implementation in JavaScript

Delightful JavaScript Testing.

MarkdownLint Command Line Interface

TypeScript is a language for application scale JavaScript development

A component library for building webview-based extensions in Visual Studio Code.

A utility library for JavaScript and Typescript.

Seeded random number generator for Javascript.

Framework-agnostic, micro-library for getting stack traces in all environments

The ultimate JavaScript string library

TypeScript definitions for chai-things

TypeScript definitions for papaparse

TypeScript definitions for seedrandom

Chai assertions for comparing arbitrary-precision decimals using the bignumber.js library

TypeScript definitions for voca