Topic: typechecker

Microsoft / TypeScript

48.3k

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

typescript javascript language typechecker

TypeScript Updated May 1, 2019 569 issues need help

python / mypy

5.9k

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

python types typing typechecker linter

Python Updated Apr 30, 2019

facebook / pyre-check

2.5k

Performant type-checking for python.

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

OCaml Updated Apr 30, 2019

google / pytype

1.9k

A static type analyzer for Python code

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

Python Updated Apr 30, 2019 1 issue needs help

rspeele / Rezoom.SQL

513

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

sql compiler typechecker sqlite sqlserver tsql postgresql fsharp

F# Updated Apr 7, 2019 3 issues need help

soutaro / steep

450

Gradual Typing for Ruby

ruby typechecker gradual-typing

Ruby Updated Mar 29, 2019

RussBaz / enforce

425

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

python typechecker validation testing runtime type-hints typing decorators

Python Updated Jul 30, 2018 1 issue needs help

pikelet-lang / pikelet

274

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

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

Rust Updated Jan 26, 2019 7 issues need help

fabiandev / ts-runtime

231

Runtime Type Checks for TypeScript

typescript javascript typechecker runtime

TypeScript Updated Feb 4, 2019

gkossakowski / kentuckymule

147

Limits of Scala typechecking speed

scala-compiler typechecker scala

Scala Updated Nov 26, 2018

derive4j / hkt

57

Higher Kinded Type machinery for Java

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

Java Updated Dec 24, 2017

janlelis / sig

48

Validate Method Arguments & Results in Ruby

ruby contracts ruby-types types signatures ruby-methods typechecker

Ruby Updated May 4, 2015

gergoerdi / tandoori

22

Compositional type checking for Haskell

haskell typechecker type-system

Haskell Updated Apr 14, 2011

bevry / typechecker

20

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

nodejs client-side typechecker

JavaScript Updated Dec 17, 2018

gergoerdi / stlc-agda

12

STLC-related snippets in Agda

agda lambda-calculus stlc typechecker

Updated May 1, 2013

ziman / ttstar

10

Dependently typed core calculus with erasure

typechecker erasure dependent-types functional-programming type-system

Idris Updated Feb 18, 2019

h2oai / typesentry

10

Python 2.7 & 3.5+ runtime type-checker

python types typechecker pep484 typing validation runtime

Python Updated Oct 13, 2018

EarlGray / language-incubator

9

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

typechecker forth compiler-design interpreter assembler

Haskell Updated Oct 27, 2018

robrix / surface

9

Dependently-typed language w/ little to say for itself

typechecker haskell dependent-types proof-refinement

Haskell Updated Mar 29, 2018

jin / subtyping

8

An implementation of structural subtyping of records and functions

haskell subtyping typechecker subtypes

Haskell Updated Jul 14, 2018

gergoerdi / hm-compo

6

Compositional type checking for a Hindley-Milner type system

haskell typechecker

Haskell Updated Mar 28, 2017

jacopofar / runtime_typecheck

5

Checks that a value satisfies a Python 3.6 type

python36 typechecker

Python Updated Sep 25, 2017

moimikey / typeov

3

👺 weak but accurate type checking that returns a string representation of input's type

type-detection typechecker dev-deps is typeof npm-module npm-package node-modules

JavaScript Updated Aug 24, 2018

mesqueeb / is-what

2

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

JavaScript Updated Feb 22, 2019

fredemmott / hack-error-suppressor Archived

1

Disable HHVM's automatic calls to the Hack typechecker

hacklang hack hhvm typechecker

Hack Updated Aug 17, 2018

deepvyas / Compiler-Construction

1

Toy Compiler for ERPLAG

compilers parser lexer typechecker semantic-analysis code-generation

C Updated May 17, 2017

rike422 / moguro

1

Decorator style assertions and type check library for Contract programming

ruby typechecker contracts-programming

Ruby Updated Jun 1, 2018

zlatinejc / isnumber

1

A native module for effectively validating if a value is type Number.

isnumber is number typechecker valuecheck istype valuechecker

JavaScript Updated Jun 12, 2017

julienetie / typecase

1

A type checker for dynamically typed JavaScript

typecheck type types typechecker checker type-checker type-check dynamic-types type-error

JavaScript Updated Mar 16, 2018

phlalx / dream-types

1

Typechecking for message passing components

typechecker component

OCaml Updated May 14, 2017

typechecker

Repositories 50

fredemmott / hack-error-suppressor Archived