TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Status, process, and documents for ECMA-262

Repo hosts npm packages for monaco-languageclient, vscode-ws-jsonrpc, monaco-editor-wrapper, @typefox/monaco-editor-react and monaco-languageclient-examples

Minimalist ML framework for Rust

Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.

The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …

Static Type Checker for Python

A python client for playing dominion AI

A language server for Standard ML in Rust.

A static verifier for Rust, based on the Viper verification infrastructure.

Tidy, feature-complete Web framework

Deezer source separation library including pretrained models.

OCaml promises and concurrent I/O

sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`

Adds static typing to JavaScript to improve developer productivity and code quality.

An extendable style checker for Standard ML