A command-line benchmarking tool

A type checker and compiler for python that is capable of inferring types and performing flow sensitive type checking.

a function parameter type checker; a json validator

Simple, elegant, Pythonic functional programming.

🍬 a functional language for building type-safe, scalable, and maintainable applications

A common base representation of python source code for pylint and other projects

Python 3 AST unparser with type comments support.

Easily run Python at the shell! Magical, but never mysterious.

Collection of TypeScript type challenges with online judge

A Runtime Typechecker for Roblox

Based Python static type checker with baseline, sane default settings and based typing features

A new type of shell

History of Programming Languages, Spring 2017

Symplate, a simple and fast Python template language (NOTE: no longer maintained; use Jinja2 or Mako instead)

A small functional language with effect inference based on Koka.

Auto-generate PEP-484 annotations

Effects-based direct-style IO for multicore OCaml

A buffer implementation optimized for immutable strings.

An extremely fast Python linter and code formatter, written in Rust.

A standalone Luau runtime

A Python library that generates static type annotations by collecting runtime types

A Lua 5.3 parser written with LPegLabel

Implementations of various type systems in OCaml.

A document language for the browser

Lua Beautifier + Minifier written in pure JavaScript.

A shell parser, formatter, and interpreter with bash support; includes shfmt

FireFox version of SwiftRead

A formatter for Haskell source code