21 results found Sort:

12.7k
102.3k
apache-2.0
2.1k
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Created 2014-06-17
36,442 commits to main branch, last one a day ago
2.9k
19.0k
other
240
Optional static typing for Python
Created 2012-12-07
12,399 commits to master branch, last one 17 hours ago
444
6.9k
mit
115
Performant type-checking for python.
Created 2017-11-10
18,550 commits to main branch, last one 20 hours ago
283
4.8k
other
55
A static type analyzer for Python code
Created 2015-03-18
6,923 commits to main branch, last one a day ago
47
2.6k
mit
20
A fast and correct TypeScript type checker and compiler with additional experiments
Created 2023-02-03
204 commits to main branch, last one 13 days ago
93
1.4k
mit
28
Static type checker for Ruby
Created 2017-03-27
3,649 commits to master branch, last one 5 days ago
26
615
apache-2.0
30
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Created 2017-12-19
1,071 commits to main branch, last one 3 years ago
28
571
apache-2.0
2
🏝 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
21
543
unknown
16
Python 3.5+ runtime type checking for integration testing and data validation
Created 2015-09-27
125 commits to master branch, last one 7 years ago
36
355
apache-2.0
10
A Python type checker
Created 2020-05-26
677 commits to master branch, last one 2 months ago
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Created 2018-06-19
246 commits to main branch, last one 5 days ago
Limits of Scala typechecking speed
Created 2016-12-07
282 commits to master branch, last one 3 years ago
🐍 The Mamba programming language, because we care about safety
Created 2018-12-22
1,148 commits to develop branch, last one 3 months ago
17
84
bsd-2-clause
11
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Created 2016-02-06
659 commits to master branch, last one 4 months ago
9
82
bsd-3-clause
10
Higher Kinded Type machinery for Java
Created 2016-03-24
61 commits to master branch, last one 5 years ago
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
Created 2020-11-27
248 commits to main branch, last one 6 months ago
TypeScript & Go inspired open-source public research project written in C#
Created 2021-12-07
220 commits to master branch, last one 13 days ago
A package for type-checking the URLs and associated views for Django
Created 2022-01-28
445 commits to main branch, last one 8 months ago
2
58
mit
7
Validate Method Arguments & Results in Ruby
Created 2015-04-14
27 commits to main branch, last one 3 years ago
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
Created 2013-04-05
488 commits to main branch, last one 10 months ago
4
52
apache-2.0
2
AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
Created 2020-05-15
499 commits to master branch, last one 2 years ago