TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
#
typechecker
Repositories 50
Optional static typing for Python 3 and 2 (PEP 484)
Python
Updated Apr 30, 2019
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
A static type analyzer for Python code
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Gradual Typing for Ruby
Ruby
Updated Mar 29, 2019
Python 3.5+ runtime type checking for integration testing and data validation
(Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data.
Runtime Type Checks for TypeScript
TypeScript
Updated Feb 4, 2019
Limits of Scala typechecking speed
Scala
Updated Nov 26, 2018
Higher Kinded Type machinery for Java
Java
Updated Dec 24, 2017
Validate Method Arguments & Results in Ruby
Ruby
Updated May 4, 2015
Compositional type checking for Haskell
Haskell
Updated Apr 14, 2011
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
JavaScript
Updated Dec 17, 2018
STLC-related snippets in Agda
Updated May 1, 2013
Dependently typed core calculus with erasure
Idris
Updated Feb 18, 2019
Python 2.7 & 3.5+ runtime type-checker
Python
Updated Oct 13, 2018
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
Haskell
Updated Oct 27, 2018
Dependently-typed language w/ little to say for itself
Haskell
Updated Mar 29, 2018
An implementation of structural subtyping of records and functions
Haskell
Updated Jul 14, 2018
Compositional type checking for a Hindley-Milner type system
Haskell
Updated Mar 28, 2017
Checks that a value satisfies a Python 3.6 type
Python
Updated Sep 25, 2017
JavaScript
Updated Aug 24, 2018
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
Hack
Updated Aug 17, 2018
Toy Compiler for ERPLAG
C
Updated May 17, 2017
Decorator style assertions and type check library for Contract programming
Ruby
Updated Jun 1, 2018
A native module for effectively validating if a value is type Number.
JavaScript
Updated Jun 12, 2017
A type checker for dynamically typed JavaScript
JavaScript
Updated Mar 16, 2018
Typechecking for message passing components
OCaml
Updated May 14, 2017