Search Results - RepositoryStats

TypeScript microsoft

12.5k

101.2k

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,358 commits to main branch, last one a day ago

mypy python

2.8k

18.5k

other

238

Optional static typing for Python

types linter python typing typechecker

Created 2012-12-07

12,142 commits to master branch, last one a day ago

pyre-check facebook

437

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,017 commits to main branch, last one 19 hours ago

pytype google

279

4.8k

other

55

A static type analyzer for Python code

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

Created 2015-03-18

6,909 commits to main branch, last one 8 days ago

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 7 days ago

steep soutaro

84

1.4k

mit

27

Static type checker for Ruby

ruby typechecker

Created 2017-03-27

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

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

hammox msz

28

565

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

543

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

pyanalyze quora

35

344

apache-2.0

10

A Python type checker

types linter python typing typechecker static-analysis

Created 2020-05-26

676 commits to master branch, last one about a month ago

is-what mesqueeb

20

185

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 5 months ago

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

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 17 days ago

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

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

trycast davidfstr

6

78

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 3 months ago

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 17 days ago

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 5 months 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

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 7 months ago

alphasql Matts966

4

50

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