typechecker

There are 17 repositories under typechecker topic.

microsoft / TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
javascript language typechecker typescript
Language:TypeScript 98312
python / mypy
Optional static typing for Python
linter python typechecker types typing
Language:Python 17622
facebook / pyre-check
Performant type-checking for python.
python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis control-flow-analysis
Language:OCaml 6700
google / pytype
A static type analyzer for Python code
python typing typechecker linter types static-analysis static-code-analysis
Language:Python 4627
ezno
kaleidawave / ezno
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
compiler javascript types typescript typechecker
Language:Rust 2212
soutaro / steep
Static type checker for Ruby
ruby typechecker
Language:Ruby 1329
fsprojects / Rezoom.SQL
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
sql compiler typechecker sqlite sqlserver tsql postgresql fsharp
Language:F# 665
pikelet-lang / pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
dependent-types typechecker type-theory programming-language type-system bidirectional-typechecking rust dependent-record-types dependent-records systems-language systems-programming compiler
Language:Rust 607
msz / hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
elixir testing mock mox contract-testing typechecker typechecking typespec dialyzer contracts behaviours contract behaviour behaviour-typespec unit-testing typespecs mocks explicit-contracts type-checking type-checker
Language:Elixir 551
RussBaz / enforce
Python 3.5+ runtime type checking for integration testing and data validation
decorators python runtime testing type-hints typechecker typing validation
Language:Python 541
fabiandev / ts-runtime
Runtime Type Checks for TypeScript
javascript runtime typechecker typescript
Language:TypeScript 483
quora / pyanalyze
A Python type checker
linter python static-analysis typechecker types typing
Language:Python 306
gkossakowski / kentuckymule
Limits of Scala typechecking speed
scala scala-compiler typechecker
Language:Scala 156
mesqueeb / is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
typechecker check-type javascript typescript javascript-type primitive-types plain-object plain-objects class-instance class-identifier type-checking type-checker type-check define-type get-type what-type is-object is-plain-obj is-plain-object
Language:TypeScript 111
mamba
JSAbrahams / mamba
🐍 The Mamba programming language, because we care about safety
language python rust compiler typesafety typechecker
Language:Rust 85
derive4j / hkt
Higher Kinded Type machinery for Java
hk-encoding hkt annotation-processor typechecker java-8 functional-programming
Language:Java 76
Gbury / dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
parse language functor smt-lib flexible-parsers tptp ocaml ocaml-library atp model theorem-proving typechecker
Language:OCaml 75
davidfstr / trycast
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
parsing python runtime-typechecking typechecker typechecking typing validation
Language:Python 70
janlelis / sig
Validate Method Arguments & Results in Ruby
ruby contracts ruby-types types signatures ruby-methods typechecker
Language:Ruby 58
AliSayyah / django-urlconfchecks
A package for type-checking the URLs and associated views for Django
cli developer-tools django django-application pre-commit pre-commit-hook python typechecker typer
Language:Python 56
EarlGray / language-incubator
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
assembler compiler-design forth interpreter typechecker
Language:Rust 56
Stepami / extended-js-subset
Open-source TypeScript killer written in C#
codegen compiler csharp dotnet interpreter javascript language parsing typechecker typescript
Language:C# 49
Matts966 / alphasql
AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
bigquery zetasql typechecker parallelization graphviz dot-language datawarehouse datawarehouseautomation docker workflow-automation workflow-tool pipeline-framework dependency-graph dependency-analysis elt cycle-detection
Language:C++ 48
bevry / typechecker
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
nodejs client-side typechecker
Language:TypeScript 47
ieQu1 / typerefl
Use Erlang typespecs in the runtime
erlang typechecker reflection
Language:Erlang 38
gergoerdi / tandoori
Compositional type checking for Haskell
haskell typechecker type-system
Language:Haskell 36
MarkLeone / WeekendCompiler
An example LLVM-based compiler for a subset of C.
llvm compiler typechecker parser
Language:C++ 26
LostInDarkMath / pedantic-python-decorators
Some useful decorators for any situation. Includes runtime type checking.
python decorators python-decorators pedantic pedantic-decorators type-checking annotations typechecker validation type-hints typing type-safety hacktoberfest2022 generic generics mixins
Language:Python 23
01mf02 / kontroli-rs
Alternative implementation of the logical framework Dedukti in Rust
logic rust dependent-types typechecker dedukti
Language:Rust 21
h2oai / typesentry
Python 2.7 & 3.5+ runtime type-checker
python types typechecker pep484 typing validation runtime
Language:Python 20
ziman / ttstar
Dependently typed core calculus with erasure
typechecker erasure dependent-types functional-programming type-system
Language:Idris 18
gergoerdi / stlc-agda
STLC-related snippets in Agda
agda lambda-calculus stlc typechecker
15
jin / subtyping
An implementation of structural subtyping of records and functions
haskell subtyping typechecker subtypes
Language:Haskell 13
gergoerdi / hm-compo
Compositional type checking for a Hindley-Milner type system
haskell typechecker
Language:Haskell 11
robrix / surface
Dependently-typed language w/ little to say for itself
typechecker haskell dependent-types proof-refinement
Language:Haskell 10
whirlwind
adebola-io / whirlwind
A language for clear, concise and clever computing. 🔳
extension interpreter language language-server-protocol library programming-language runtime rust typechecker typescript
Language:Rust 9