typechecker

Star

Here are 64 public repositories matching this topic...

microsoft / TypeScript

Star

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

javascript language roadmap typechecker typescript twitter scale-javascript-applications

Updated Aug 12, 2020
TypeScript

python / mypy

Star

Optional static typing for Python 3 and 2 (PEP 484)

python typechecker types linter typing

Updated Aug 12, 2020
Python

facebook / pyre-check

Star

Performant type-checking for python.

python security typechecker static-analysis ocaml control-flow-analysis code-quality program-analysis taint-analysis abstract-interpretation type-check

Updated Aug 12, 2020
OCaml

google / pytype

Star

A static type analyzer for Python code

python typechecker types static-code-analysis linter static-analysis typing

Updated Aug 10, 2020
Python

soutaro / steep

Star

Gradual Typing for Ruby

ruby typechecker gradual-typing

Updated Aug 10, 2020
Ruby

rspeele / Rezoom.SQL

Star

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

typechecker sql compiler fsharp sqlite postgresql sqlserver tsql

Updated Jul 13, 2020
F#

RussBaz / enforce

Star

Python 3.5+ runtime type checking for integration testing and data validation

python testing typechecker validation runtime decorators typing type-hints

Updated Nov 8, 2019
Python

pikelet-lang / pikelet

Star

(Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data.

programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records

Updated Aug 11, 2020
Rust

fabiandev / ts-runtime

Star

Runtime Type Checks for TypeScript

javascript typechecker typescript runtime

Updated Feb 4, 2019
TypeScript

gkossakowski / kentuckymule

Star

Limits of Scala typechecking speed

typechecker scala scala-compiler

Updated Jun 25, 2020
Scala

msz / hammox

Star

🏝 automated contract testing for Elixir functions and mocks

testing mock unit-testing typechecker elixir contract behaviour contracts contract-testing behaviours typechecking dialyzer mox typespec behaviour-typespec

Updated Jul 21, 2020
Elixir

derive4j / hkt

Star

Higher Kinded Type machinery for Java

typechecker functional-programming annotation-processor java-8 hk-encoding hkt

Updated Oct 18, 2019
Java

JSAbrahams / mamba

Star

🐍 The Mamba programming language, because we care about safety

python language rust typechecker compiler typesafety

Updated Jul 22, 2020
Rust

janlelis / sig

Star

Validate Method Arguments & Results in Ruby

ruby typechecker types signatures contracts ruby-types ruby-methods

Updated Jun 12, 2020
Ruby

gergoerdi / tandoori

Star

Compositional type checking for Haskell

haskell typechecker type-system

Updated Apr 14, 2011
Haskell

bevry / typechecker

Star

Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)

nodejs typechecker client-side

Updated Aug 10, 2020
TypeScript

mesqueeb / is-what

Star

JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.

javascript typechecker typescript class-instance type-checking primitive-types plain-objects is-object type-checker type-check is-plain-obj plain-object check-type javascript-type class-identifier define-type get-type what-type is-plain-object

Updated Aug 5, 2020
TypeScript

k32 / typerefl

Star

Use Erlang typespecs in the runtime

typechecker reflection erlang

Updated Aug 27, 2019
Erlang

ziman / ttstar

Star

Dependently typed core calculus with erasure

typechecker dependent-types functional-programming type-system erasure

Updated Jun 30, 2019
Idris

h2oai / typesentry

Star

Python 2.7 & 3.5+ runtime type-checker

python typechecker validation types runtime typing pep484

Updated Apr 8, 2020
Python

gergoerdi / stlc-agda

Star

STLC-related snippets in Agda

typechecker lambda-calculus agda stlc

Updated May 1, 2013

robrix / surface

Star

Dependently-typed language w/ little to say for itself

haskell typechecker dependent-types proof-refinement

Updated Mar 29, 2018
Haskell

jin / subtyping

Star

An implementation of structural subtyping of records and functions

haskell typechecker subtyping subtypes

Updated Jul 14, 2018
Haskell

gergoerdi / hm-compo

Star

Compositional type checking for a Hindley-Milner type system

haskell typechecker

Updated Mar 28, 2017
Haskell

EarlGray / language-incubator

Star

Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.

typechecker interpreter assembler forth compiler-design

Updated Aug 8, 2020
Haskell

Matts966 / alphasql

Star

AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set

docker graphviz bigquery typechecker dependency-analysis dependency-graph parallelization pipeline-framework elt datawarehouse workflow-automation cycle-detection dot-language datawarehouseautomation workflow-tool zetasql

Updated Aug 11, 2020
C++

MarkLeone / WeekendCompiler

Star

An example LLVM-based compiler for a subset of C.

parser typechecker compiler llvm

Updated Aug 14, 2019
C++

daelvn / ltypekit7

Star

Advanced type checking for Lua.

typechecker lua moonscript

Updated Aug 5, 2019
MoonScript

jacopofar / runtime_typecheck

Star

Checks that a value satisfies a Python 3.6 type

typechecker python36

Updated Dec 13, 2019
Python

kritzcreek / siml

Star

My playground for building a compiler for an ML-like in Rust

typechecker parsing compiler wasm

Updated Feb 1, 2020
Rust

Improve this page

Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."

Learn more