Search Results - RepositoryStats

TypeScript microsoft

12.8k

103.7k

apache-2.0

2.2k

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

language javascript typescript typechecker

Created 2014-06-17

36,471 commits to main branch, last one a day ago

mypy python

2.9k

19.1k

other

237

Optional static typing for Python

types linter python typing typechecker

Created 2012-12-07

12,442 commits to master branch, last one 18 hours ago

pyre-check facebook

446

7.0k

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

19,683 commits to main branch, last one 2 days ago

pytype google

284

4.9k

other

54

A static type analyzer for Python code

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

Created 2015-03-18

6,930 commits to main branch, last one 3 days ago

ezno kaleidawave

47

2.7k

mit

21

A fast and correct TypeScript type checker and compiler with additional experiments

types compiler javascript typescript typechecker

Created 2023-02-03

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

steep soutaro

95

1.4k

mit

28

Static type checker for Ruby

ruby typechecker

Created 2017-03-27

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

pikelet pikelet-lang

26

615

apache-2.0

29

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

29

577

apache-2.0

1

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

Created 2019-06-29

315 commits to master branch, last one 2 years ago

enforce RussBaz

21

543

unknown

15

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

36

357

apache-2.0

9

A Python type checker

types linter python typing typechecker static-analysis

Created 2020-05-26

678 commits to master branch, last one 7 days ago

is-what mesqueeb

20

194

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

248 commits to main branch, last one 20 hours ago

kentuckymule gkossakowski

10

155

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

89

mit

5

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

dolmen Gbury

18

84

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

666 commits to master branch, last one 4 days ago

hkt derive4j

9

82

bsd-3-clause

9

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

trycast davidfstr

6

80

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

hydrascript Stepami

5

74

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

231 commits to master branch, last one a day 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 9 months ago

sig janlelis

2

58

mit

6

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

language-incubator EarlGray

1

57

bsd-3-clause

5

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

alphasql Matts966

4

53

apache-2.0

1

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