21 results found Sort:

microsoft
TypeScript microsoft
12.6k
101.6k
apache-2.0
2.1k
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
language javascript typescript typechecker
Created 2014-06-17
36,390 commits to main branch, last one 11 days ago
python
mypy python
2.9k
18.7k
other
241
Optional static typing for Python
types linter python typing typechecker
Created 2012-12-07
12,244 commits to master branch, last one 11 hours ago
facebook
pyre-check facebook
440
6.9k
mit
114
Performant type-checking for python.
ocaml python security type-check typechecker code-quality taint-analysis static-analysis program-analysis control-flow-analysis abstract-interpretation
Created 2017-11-10
17,615 commits to main branch, last one 9 hours ago
google
pytype google
282
4.8k
other
54
A static type analyzer for Python code
types linter python typing typechecker static-analysis static-code-analysis
Created 2015-03-18
6,920 commits to main branch, last one 11 days ago
kaleidawave
ezno kaleidawave
47
2.6k
mit
21
A fast and correct TypeScript type checker and compiler with additional experiments
types compiler javascript typescript typechecker
Created 2023-02-03
201 commits to main branch, last one about a month ago
soutaro
steep soutaro
91
1.4k
mit
28
Static type checker for Ruby
ruby typechecker
Created 2017-03-27
3,573 commits to master branch, last one 3 days ago
pikelet-lang
pikelet pikelet-lang
26
610
apache-2.0
30
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
rust compiler type-system type-theory typechecker dependent-types systems-language dependent-records systems-programming programming-language dependent-record-types bidirectional-typechecking
Created 2017-12-19
1,071 commits to main branch, last one 3 years ago
msz
hammox msz
28
566
apache-2.0
3
🏝 automated contract testing via type checking for Elixir functions and mocks
mox mock mocks elixir testing contract dialyzer typespec behaviour contracts typespecs behaviours typechecker type-checker typechecking unit-testing type-checking contract-testing behaviour-typespec explicit-contracts
Created 2019-06-29
315 commits to master branch, last one 2 years ago
RussBaz
enforce RussBaz
21
542
unknown
16
Python 3.5+ runtime type checking for integration testing and data validation
python typing runtime testing decorators type-hints validation typechecker
Created 2015-09-27
125 commits to master branch, last one 7 years ago
quora
pyanalyze quora
35
350
apache-2.0
10
A Python type checker
types linter python typing typechecker static-analysis
Created 2020-05-26
677 commits to master branch, last one about a month ago
mesqueeb
is-what mesqueeb
20
188
mit
2
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
get-type is-object what-type check-type javascript type-check typescript define-type typechecker is-plain-obj plain-object type-checker plain-objects type-checking class-instance is-plain-object javascript-type primitive-types class-identifier
Created 2018-06-19
233 commits to main branch, last one 6 months ago
gkossakowski
kentuckymule gkossakowski
10
156
other
14
Limits of Scala typechecking speed
scala typechecker scala-compiler
Created 2016-12-07
282 commits to master branch, last one 3 years ago
JSAbrahams
mamba JSAbrahams
4
90
mit
6
🐍 The Mamba programming language, because we care about safety
rust python compiler language typesafety typechecker
Created 2018-12-22
1,148 commits to develop branch, last one about a month ago
derive4j
hkt derive4j
9
82
bsd-3-clause
10
Higher Kinded Type machinery for Java
hkt java-8 hk-encoding typechecker annotation-processor functional-programming
Created 2016-03-24
61 commits to master branch, last one 5 years ago
Gbury
dolmen Gbury
17
80
bsd-2-clause
11
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
atp tptp model ocaml parse functor smt-lib language typechecker ocaml-library theorem-proving flexible-parsers
Created 2016-02-06
659 commits to master branch, last one 3 months ago
davidfstr
trycast davidfstr
6
79
mit
7
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
python typing parsing validation typechecker typechecking runtime-typechecking
Created 2020-11-27
248 commits to main branch, last one 4 months ago
Stepami
hydrascript Stepami
4
70
gpl-3.0
5
TypeScript & Go inspired open-source public research project written in C#
ddd csharp dotnet golang codegen parsing compiler language javascript typescript interpreter typechecker compiler-design clean-architecture
Created 2021-12-07
210 commits to master branch, last one about a month ago
AliSayyah
django-urlconfchecks AliSayyah
1
62
gpl-3.0
2
A package for type-checking the URLs and associated views for Django
cli typer django python pre-commit typechecker developer-tools pre-commit-hook django-application
Created 2022-01-28
445 commits to main branch, last one 6 months ago
janlelis
sig janlelis
2
58
mit
7
Validate Method Arguments & Results in Ruby
ruby types contracts ruby-types signatures typechecker ruby-methods
Created 2015-04-14
27 commits to main branch, last one 3 years ago
EarlGray
language-incubator EarlGray
1
55
bsd-3-clause
6
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
forth assembler interpreter typechecker compiler-design
Created 2013-04-05
488 commits to main branch, last one 8 months ago
Matts966
alphasql Matts966
4
52
apache-2.0
2
AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
elt docker zetasql bigquery graphviz typechecker dot-language datawarehouse workflow-tool cycle-detection parallelization dependency-graph pipeline-framework dependency-analysis workflow-automation datawarehouseautomation
Created 2020-05-15
499 commits to master branch, last one 2 years ago