55 Open source projects that are alternatives of or similar to micropython-stubs

Setup a pyenv virtualenv for microsoft pyright in the pyrightconfig.json config file

How to test your python code. How to automatically run your tests for your Python code. How to get reports of the tests coverage

A simple runtime JSON type checker.

A PEG Parsing Tool

Phantom types for Python.

Another biased type checking solution for Javascript

Type-safe Lua IDE Plugin for IntelliJ IDEA

Lsp Plugin for working with Python virtual environments

Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.

Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.

A Pylint plugin to suppress pytest-related false positives.

Extension for code linting, all in one package. New linters can be easily added through an extension framework.

Python module that recursively runs pylint on python files in current directory and any sub-directories

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

Code from the book "Types and Programming Languages" in 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.

This extension is now maintained in the Microsoft fork.

GitHub Action for Lint your code

A plugin providing both real-time and on-demand scanning of Python files with PyLint from within PyCharm/IDEA.

CodeX is a platform which converts code into easy to understand language.

Export Amazon DynamoDb to CSV or JSON

Typesafe utilities for "action-creators" in Redux / Flux Architecture

The complete guide to static typing in "React & Redux" apps using TypeScript

Apache Groovy: A powerful multi-faceted programming language for the JVM platform

Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).

Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.

Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim

Make your functions return something meaningful, typed, and safe!

Smart, pythonic, ad-hoc, typed polymorphism for Python