typechecker

There are 9 repositories under typechecker topic.

microsoft / TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
javascript language typechecker typescript
Language:TypeScript 80926
python / mypy
Optional static typing for Python
python types typing typechecker linter
Language:Python 13150
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 5919
google / pytype
A static type analyzer for Python code
linter python static-analysis static-code-analysis typechecker types typing
Language:Python 3747
soutaro / steep
Static type checker for Ruby
ruby typechecker
Language:Ruby 1006
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# 644
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 560
RussBaz / enforce
Python 3.5+ runtime type checking for integration testing and data validation
python typechecker validation testing runtime type-hints typing decorators
Language:Python 531
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 436
fabiandev / ts-runtime
Runtime Type Checks for TypeScript
javascript runtime typechecker typescript
Language:TypeScript 424
gkossakowski / kentuckymule
Limits of Scala typechecking speed
scala scala-compiler typechecker
Language:Scala 153
derive4j / hkt
Higher Kinded Type machinery for Java
hk-encoding hkt annotation-processor typechecker java-8 functional-programming
Language:Java 75
mamba
JSAbrahams / mamba
🐍 The Mamba programming language, because we care about safety
compiler language python rust typechecker typesafety
Language:Rust 67
janlelis / sig
Validate Method Arguments & Results in Ruby
ruby contracts ruby-types types signatures ruby-methods typechecker
Language:Ruby 54
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 53
bevry / typechecker
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
nodejs client-side typechecker
Language:TypeScript 42
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++ 41
davidfstr / trycast
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
parsing python typechecking runtime-typechecking typechecker typing validation
Language:Python 38
gergoerdi / tandoori
Compositional type checking for Haskell
haskell typechecker type-system
Language:Haskell 34
ieQu1 / typerefl
Use Erlang typespecs in the runtime
erlang reflection typechecker
Language:Erlang 32
EarlGray / language-incubator
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
assembler compiler-design forth interpreter typechecker
Language:Rust 22
h2oai / typesentry
Python 2.7 & 3.5+ runtime type-checker
python types typechecker pep484 typing validation runtime
Language:Python 19
ziman / ttstar
Dependently typed core calculus with erasure
typechecker erasure dependent-types functional-programming type-system
Language:Idris 16
LostInDarkMath / pedantic-python-decorators
Some useful decorators for any situation. Includes runtime type checking.
python decorators python-decorators pedantic docstring pedantic-decorators docstrings type-checking annotations typechecker validation testing type-hints typing type-safety
Language:Python 15
MarkLeone / WeekendCompiler
An example LLVM-based compiler for a subset of C.
llvm compiler typechecker parser
Language:C++ 14
gergoerdi / stlc-agda
STLC-related snippets in Agda
agda lambda-calculus stlc typechecker
13
jin / subtyping
An implementation of structural subtyping of records and functions
haskell subtyping typechecker subtypes
Language:Haskell 12
gergoerdi / hm-compo
Compositional type checking for a Hindley-Milner type system
haskell typechecker
Language:Haskell 11
AliSayyah / django-urlconfchecks
a package for type checking the urls and associated views for django
django python developer-tools django-application typechecker cli typer pre-commit pre-commit-hook
Language:Python 10
robrix / surface
Dependently-typed language w/ little to say for itself
typechecker haskell dependent-types proof-refinement
Language:Haskell 10
daelvn / ltypekit7
Advanced type checking for Lua.
lua moonscript typechecker
Language:MoonScript 8
jacopofar / runtime_typecheck
Checks that a value satisfies a Python 3.6 type
python36 typechecker
Language:Python 5
kritzcreek / siml
My playground for building a compiler for an ML-like in Rust
compiler parsing typechecker wasm
Language:Rust 5
cstml / FMCt
Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.
fmct programming-language typechecker
Language:Haskell 4
moimikey / typeov
👺 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
Language:JavaScript 3
wahl-sec / doc-log
Python docstring parser with forgiving type checking and logging for multiple docstring dialects.
python python3 documentation docstrings parsing-library typechecker
Language:Python 2

ezoic increase your site revenue

Related Topics

hacking pentesting security penetration-testing ctf