type-checking topic

🏝 automated contract testing via type checking for Elixir functions and mocks

msz

Program analysis playground for a simple, imperative language

skius

👷 TypeScript's largest type utility library

millsp

Runtime type annotations for CoffeeScript (and JavaScript too!)

laurentpayot

Function argument validation for humans

sindresorhus

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

sdiehl

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

explosion

High-performance Vision library in Python. Scale your research, not boilerplate.

jasmcaus

Type Analyzer for JavaScript

cs-au-dk

A simple plugin that allows running mypy from PyCharm and navigate between errors

dropbox