Search Results - RepositoryStats

TypeScript microsoft

12.2k

98.5k

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

35,986 commits to main branch, last one 13 hours ago

mypy python

2.7k

17.7k

other

236

Optional static typing for Python

types linter python typing typechecker

Created 2012-12-07

11,840 commits to master branch, last one 15 hours ago

pyre-check facebook

429

6.7k

mit

113

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

16,032 commits to main branch, last one 15 hours ago

pytype google

270

4.6k

other

61

A static type analyzer for Python code

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

Created 2015-03-18

6,739 commits to main branch, last one 24 hours ago

ezno kaleidawave

39

2.2k

mit

20

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

types compiler javascript typescript typechecker

Created 2023-02-03

174 commits to main branch, last one 17 hours ago

steep soutaro

86

1.3k

mit

24

Static type checker for Ruby

ruby typechecker

Created 2017-03-27

3,019 commits to master branch, last one a day ago

pikelet pikelet-lang

25

606

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

hammox msz

25

552

apache-2.0

4

🏝 automated contract testing via type checking for Elixir functions and mocks

Created 2019-06-29

315 commits to master branch, last one about a year ago

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 6 years ago

pyanalyze quora

35

310

apache-2.0

9

A Python type checker

types linter python typing typechecker static-analysis

Created 2020-05-26

645 commits to master branch, last one 4 days ago

kentuckymule gkossakowski

10

156

other

15

Limits of Scala typechecking speed

scala typechecker scala-compiler

Created 2016-12-07

282 commits to master branch, last one 3 years ago

is-what mesqueeb

19

126

mit

3

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

223 commits to production branch, last one 8 days ago

mamba JSAbrahams

3

85

mit

6

🐍 The Mamba programming language, because we care about safety

rust python compiler language typesafety typechecker

Created 2018-12-22

1,139 commits to main branch, last one about a year ago

hkt derive4j

9

77

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 4 years ago

dolmen Gbury

16

75

bsd-2-clause

10

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

654 commits to master branch, last one 2 months ago

trycast davidfstr

5

72

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

247 commits to main branch, last one about a month ago

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 2 years ago

language-incubator EarlGray

1

56

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 about a month ago

django-urlconfchecks AliSayyah

1

56

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

441 commits to main branch, last one 21 days ago

extended-js-subset Stepami

1

49

gpl-3.0

4

Open-source TypeScript killer written in C#

csharp dotnet codegen parsing compiler language javascript typescript interpreter typechecker

Created 2021-12-07

160 commits to master branch, last one 7 months ago

alphasql Matts966

4

48

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