#
typechecker
Here are 68 public repositories matching this topic...
Optional static typing for Python 3 and 2 (PEP 484)
-
Updated
Aug 19, 2021 - Python
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 19, 2021 - OCaml
vuryleo
commented
Nov 8, 2019
e.g.
# map.py
def func(a: int) -> float:
return float(a)
map(func, ['str'])$ pytype map.py
Computing dependencies
Analyzing 1 sources with 0 local dependencies
ninja: Entering directory `/[redacted]/.pytype'
ninja: no work to do.
Success: no errors foundwhile
$ mypy map.py
map.py:5: error: Argument 1 to "map" has incompatible type "CaStatically typechecks a common SQL dialect and translates it to various RDBMS backends
-
Updated
Jul 13, 2020 - F#
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
programming-language
rust
typechecker
dependent-types
compiler
type-theory
systems-language
type-system
systems-programming
bidirectional-typechecking
dependent-record-types
dependent-records
-
Updated
May 16, 2021 - Rust
Python 3.5+ runtime type checking for integration testing and data validation
-
Updated
Nov 8, 2019 - Python
Runtime Type Checks for TypeScript
-
Updated
Nov 10, 2020 - TypeScript
testing
mock
unit-testing
typechecker
elixir
contract
behaviour
contracts
type-checking
mocks
contract-testing
behaviours
typechecking
dialyzer
mox
type-checker
typespec
behaviour-typespec
typespecs
explicit-contracts
-
Updated
Aug 5, 2021 - Elixir
Higher Kinded Type machinery for Java
-
Updated
Oct 18, 2019 - Java
-
Updated
Apr 6, 2021 - Rust
Validate Method Arguments & Results in Ruby
-
Updated
Dec 30, 2020 - Ruby
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
Mar 8, 2021 - TypeScript
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
-
Updated
Aug 15, 2021 - TypeScript
Compositional type checking for Haskell
-
Updated
Apr 14, 2011 - Haskell
AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
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 18, 2021 - C++
Open
Free type variables
k32
commented
May 10, 2019
Handle types with free variables, for example:
-type foo :: {_Foo, _Bar}.
Free variables should be replaced with any()
Open
Check function arity
Python 2.7 & 3.5+ runtime type-checker
-
Updated
Apr 8, 2020 - Python
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
-
Updated
May 31, 2021 - Rust
An example LLVM-based compiler for a subset of C.
-
Updated
Aug 14, 2019 - C++
Dependently typed core calculus with erasure
-
Updated
Jun 30, 2019 - Idris
An implementation of structural subtyping of records and functions
-
Updated
Jul 14, 2018 - Haskell
Dependently-typed language w/ little to say for itself
-
Updated
Mar 29, 2018 - Haskell
Some useful decorators for any situation. Includes runtime type checking.
python
testing
typechecker
validation
decorators
annotations
typing
type-safety
type-checking
python-decorators
docstring
type-hints
docstrings
pedantic
pedantic-decorators
-
Updated
Jul 27, 2021 - Python
Compositional type checking for a Hindley-Milner type system
-
Updated
Mar 28, 2017 - Haskell
Improve this page
Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."
Bug Report
ts stable & nightly
Playground Link
<img width="415" alt="Code_2021-08-01_08-43-51" src="https://user-images.githubuser