Displaying 1 to 19 from 19 results

ast-types - Esprima-compatible implementation of the Mozilla JS Parser API

  •    Javascript

This module provides an efficient, modular, Esprima-compatible implementation of the abstract syntax tree type hierarchy pioneered by the Mozilla Parser API. Because it understands the AST type system so thoroughly, this library is able to provide excellent node iteration and traversal mechanisms.

babel-plugin-tcomb - Babel plugin for static and runtime type checking using Flow and tcomb

  •    Javascript

Babel plugin for static and runtime type checking using Flow and tcomb. Flow is a static type checker for JavaScript.




valentine - JavaScripts Functional Sister

  •    Javascript

JavaScript's Sister, and protector — inspired by Underscore; Valentine provides you with type checking, functional iterators, and common utility helpers such as waterfalls, queues, and parallels; all utilizing native JavaScript methods for optimal speed. As of version 2.0.0 — Valentine no longer supports <= IE8 and <= Safari 4. It's been real, but time to move on. To access this level of support, use the 1.8 tag.

babel-plugin-runtyper - ⚡️ Runtime type-checker for JavaScript

  •    Javascript

Runtyper protects you from silent type-mismatch operations in JavaScript. Include it into the development build of your app and it will notify you about all type-conversion problems. Types are guessed by code itself. No manual annotations needed.

retype - Re-apply type annotations from .pyi stubs to your codebase.

  •    Python

Re-apply type annotations from .pyi stubs to your codebase. When you run retype, it goes through all files you passed as SRC, finds the corresponding .pyi files in the types/ directory, and re-applies typing annotations from .pyi to the sources, using the Python 3 function and variable annotation syntax. The resulting combined sources are saved in typed-src/.


check-types.js - A little JavaScript library for asserting types and values.

  •    Javascript

A little JavaScript library for asserting types and values. Writing explicit conditions in your functions to check arguments and throw exceptions is a task that swiftly becomes tiresome and adds complexity to your codebase.

predicates - Predicates for type checking, assertions, filtering etc

  •    TypeScript

Set of various predicates for type checking, simple assertions, filtering etc. Most of type checking, utility libraries force you use predicates with only one argument but predicates doesn.t Additionally predicates preserves the context of function call which allows you to create even more powerful logic.

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

  •    Java

The plugin provides a simple terminal to run fast mypy daemon from PyCharm with a single click or hotkey and easily navigate through type checking results. The idea of the mypy terminal is different from the normal PyCharm type checking that highlights the errors in a current file. The mypy terminal shows errors in all files in your project (even in those not currently open). Also mypy provides a bit stricter type checking and is tunable by various flags and config settings. The plugin requires mypy to be installed.

flow-react - Advanced type checking for react using Flow

  •    Javascript

I consider JSX pretty handy but not critical. What I consider critical instead is the possibility to statically type check as much as I can and currently the possibilities of Flow are kind of limited when it comes to react.

infrared - :sparkles::rocket: Blazing fast, light-weight, inferred static type checker for JavaScript

  •    OCaml

Blazing fast, light-weight, inferred static type checker for JavaScript. Infared is a static analysis tool that eliminates 99% of runtime type errors. This is done by statically inferring a fluid type system onto your program, and identifying any potential type errors that can occur, before they happen.

flake8-pyi - A plugin for Flake8 that provides specializations for type hinting stub files

  •    Python

A plugin for Flake8 that provides specializations for type hinting stub files, especially interesting for linting typeshed. The latter should ideally be merged into flake8 as the integration is currently pretty brittle (might break with future versions of pyflakes, flake8, or due to interactions with other overly clever plugins).

upcast - A JavaScript type checking/casting library

  •    Javascript

Upcast is a low-level JavaScript type checking and casting library. Upcast simplifies type-checking and converts between types in a more sensible and predictable way than using plain ol' JavaScript. Get the type of an object. This accepts a single argument: val: (mixed) The object to get the type of.

protostub - A tool for generating Mypy type stubs from a Protocol Buffer definition.

  •    Go

A tool for generating Mypy type stubs from a Protocol Buffer definition. You can download a binary from the releases page, or you can use Docker.

typeforce - Another biased type checking solution for Javascript

  •    Javascript

Another biased type checking solution for Javascript. Exception messages may change between patch versions, as often the patch will change some behaviour that was unexpected and naturally it results in a different error message.

hm-def - Runtime type checking for JS with Hindley Milner signatures

  •    Javascript

The hm-def package allows you to enforce runtime type checking for JavaScript functions using Haskell-alike Hindley Milner type signatures. The hm-def is build on top of sanctuary-def and basically just a syntax sugar for it.