33 Open source projects that are alternatives of or similar to Tapl Scala

Type Analyzer for JavaScript

⚡️ Runtime type-checker for JavaScript

Typeis. it's the smart and simple javaScript type checker

Predicates for type checking, assertions, filtering etc

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Type Signature for Ruby

🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds

The compiler for Teal, a typed dialect of Lua

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

Strong Dynamically Typed Object Modeling for JavaScript

Function argument validation for humans

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

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

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

Isomorphic, functional type-checking for Javascript

Type checking and logical inference for JetBrains MPS

Program analysis playground for a simple, imperative language

✨🚀 Blazing fast, inferred static type checker for JavaScript.

Swift type checking and semantic analysis for developer tools

Runtime type annotations for CoffeeScript (and JavaScript too!)

A Python library for variable type checker/validator/converter at a run time.

Decorator which checks whether the function is called with the correct type of parameters.

Stubs of common micropython modules to aid in code completion, static typechecking and overall development

A simple runtime JSON type checker.

A PEG Parsing Tool

Another biased type checking solution for Javascript

Type-safe Lua IDE Plugin for IntelliJ IDEA

Runtime type and bounds-error checking for C/C++

MOVED TO GITLAB

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

ts-toolbelt is the largest, and most tested type library available right now, featuring +200 utilities. Our type collection packages some of the most advanced mapped types, conditional types, and recursive types on the market.

Runtime type checking for JS with Hindley Milner signatures