typechecker
There are 102 repositories under typechecker topic.
microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
python/mypy
Optional static typing for Python
facebook/pyre-check
Performant type-checking for python.
google/pytype
A static type analyzer for Python code
kaleidawave/ezno
A fast and correct TypeScript type checker and compiler with additional experiments
soutaro/steep
Static type checker for Ruby
fsprojects/Rezoom.SQL
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
RussBaz/enforce
Python 3.5+ runtime type checking for integration testing and data validation
fabiandev/ts-runtime
Runtime Type Checks for TypeScript
quora/pyanalyze
A Python type checker
mesqueeb/is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
gkossakowski/kentuckymule
Limits of Scala typechecking speed
JSAbrahams/mamba
🐍 The Mamba programming language, because we care about safety
derive4j/hkt
Higher Kinded Type machinery for Java
Gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
davidfstr/trycast
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
Stepami/hydrascript
TypeScript & Go inspired open-source public research project written in C#
AliSayyah/django-urlconfchecks
A package for type-checking the URLs and associated views for Django
janlelis/sig
Validate Method Arguments & Results in Ruby
EarlGray/language-incubator
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
Matts966/alphasql
AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
bevry/typechecker
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
ieQu1/typerefl
Use Erlang typespecs in the runtime
gergoerdi/tandoori
Compositional type checking for Haskell
MarkLeone/WeekendCompiler
An example LLVM-based compiler for a subset of C.
LostInDarkMath/pedantic-python-decorators
Some useful decorators for any situation. Includes runtime type checking.
01mf02/kontroli-rs
Alternative implementation of the logical framework Dedukti in Rust
h2oai/typesentry
Python 2.7 & 3.5+ runtime type-checker
ziman/ttstar
Dependently typed core calculus with erasure
gergoerdi/stlc-agda
STLC-related snippets in Agda
jin/subtyping
An implementation of structural subtyping of records and functions
gergoerdi/hm-compo
Compositional type checking for a Hindley-Milner type system
kritzcreek/siml
My playground for building a compiler for an ML-like in Rust
robrix/surface
Dependently-typed language w/ little to say for itself