All Categories → Compilers → type-checking

Top 34 type-checking open source projects

MOVED TO GITLAB

✭ 232

javascript types assertions assert type-checking

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

✭ 2,422

python cython javascript Sass Cuda deep-learning machine-learning pytorch tensorflow nlp natural-language-processing artificial-intelligence functional-programming ai mxnet spacy machine-learning-library type-checking jax

Ts Toolbelt

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.

✭ 3,099

typescript shell utility type-safety type-checking typescript-library dynamic-types safety type-utilities

Hm Def

Runtime type checking for JS with Hindley Milner signatures

✭ 171

javascript functional-programming type-checking

Tapl Scala

Code from the book "Types and Programming Languages" in Scala

✭ 157

scala type-checking

Tajs

Type Analyzer for JavaScript

✭ 150

javascript java static-code-analysis program-analysis static-analyzer type-checking

Babel Plugin Runtyper

⚡️ Runtime type-checker for JavaScript

✭ 117

javascript babel babel-plugin type-safety type-checking

Typeis

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

✭ 100

javascript simple type-checking

Predicates

Predicates for type checking, assertions, filtering etc

✭ 89

typescript filtering type-checking

Dilate

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

✭ 80

scala macros metaprogramming ddd type-safety typelevel type-checking

Elixir Type check

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

✭ 80

elixir metaprogramming property-based-testing type-checking

Rbs

Type Signature for Ruby

✭ 1,067

ruby type-checking

Bazel Mypy Integration

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

✭ 40

python bazel type-checking

The compiler for Teal, a typed dialect of Lua

✭ 716

lua compiler type-checking

Caer

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

✭ 452

python deep-learning machine-learning computer-vision data-science neural-network artificial-intelligence image-processing ai opencv gpu cuda segmentation image-classification image-segmentation video-processing vision augmentation type-checking

Objectmodel

Strong Dynamically Typed Object Modeling for JavaScript

✭ 415

javascript dynamic model composition typing structure type-checking

Function argument validation for humans

✭ 3,415

javascript typescript nodejs validation npm-package type-checking

Hammox

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

✭ 289

elixir testing unit-testing mock type-checking

Write You A Haskell

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

Mypy Pycharm Plugin

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

✭ 274

python java types pycharm typing type-checking

typical

Isomorphic, functional type-checking for Javascript

✭ 17

javascript nodejs isomorphic functional-programming javascript-library type-checking load-anywhere

mps-coderules

Type checking and logical inference for JetBrains MPS

✭ 24

kotlin java code-analysis control-flow type-checking constraint-handling-rules jetbrains-mps constraint-rules

progge.rs

Program analysis playground for a simple, imperative language

✭ 29

rust c compiler llvm static-analysis program-analysis type-checking abstract-interpretation

infrared

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

✭ 46

ocaml cli fast productivity parser compiler tool static-analysis type-checking configurable zero-configuration

Typology

Swift type checking and semantic analysis for developer tools

✭ 68

swift shell developer-tools type-checking type-system hindley-milner type-inference semantic-analysis type-checker semantic-analyzer

floweret

Runtime type annotations for CoffeeScript (and JavaScript too!)

✭ 20

coffeescript javascript runtime type-checking type-system type-annotations native-javascript-types

typepy

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

✭ 16

python Makefile validator type-detection type-checking type-conversion

strongtyping

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

✭ 85

python property decorator type-checking typechecking docstring-checker runtime-checking setter-getter typing-decorator

micropython-stubs

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

✭ 46

python vscode type-checking pylint static-typing pyright mypy-stubs pylance

typist-json

A simple runtime JSON type checker.

✭ 25

typescript javascript json typescript-library type-safe type-checking type-checker runtime-typechecking

pyrser

A PEG Parsing Tool

✭ 32

python TeX parser tree parsing matching typing parsing-expression-grammar peg type-checking type-system type-checker tree-matching

typeforce

Another biased type checking solution for Javascript

✭ 22

javascript schema type-checking

IntelliJ-Luanalysis

Type-safe Lua IDE Plugin for IntelliJ IDEA

✭ 118

kotlin lua java HTML Lex intellij static-analysis intellij-plugin type-checking lua-ide lua-plugin luanalysis

EffectiveSan

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

✭ 95

C++LLVM c assembly objective c Objective-C++security llvm memory-safety type-checking sanitizer bounds-checking low-fat-pointers

1-34 of 34 type-checking projects