🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

An experimental LLVM backend for L3

CS550 Formal Verification Project, EPFL, Winter 2021-2022

A research language with effect handlers and lightweight effect polymorphism

Collabs library monorepo

The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code

Counterexamples in Type Systems

The Scala 3 compiler, also known as Dotty.

NumPy file parsing and serialization for TensorFlow.js

👌 Checks paths and scripts defined in package.json before you publish

A dead simple benchmarking framework for JS/TS libs

GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Server-side MathJax rendering for Jekyll with a strict CSP

Code formatter for Scala

Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.

Pure Scala Artifact Fetching

Trio – a friendly Python library for async concurrency and I/O

C++ Crash Course

Scala testing library with actionable errors and extensible APIs

minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

A tool to help (semi-)automatically find typos.

CPU usage limiter for Linux

Incubation repository for the new TypeScript handbook 🐣

A knowledge base of Dotty internals and all things related

Experiments with symbolic functions in the Scala type system

Opinionated npm Style Guide​ for teams.

TypeScript AST viewer.

Black formatter for Jupyter Notebook