7 results found Sort:

arktypeio
arktype arktypeio
65
4.0k
mit
15
TypeScript's 1:1 validator, optimized from editor to runtime
parsing javascript typescript static-typing runtime-typechecking
Created 2019-06-21
985 commits to main branch, last one 2 days ago
beartype
beartype beartype
58
2.8k
mit
16
Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.
python3 static-typechecking runtime-typechecking
Created 2020-04-03
1,391 commits to main branch, last one a day ago
nalexn
ViewInspector nalexn
156
2.2k
mit
28
Runtime introspection and unit testing of SwiftUI views
swift swift5 swiftui unit-testing swiftui-views best-practices runtime-typechecking
Created 2019-11-16
1,228 commits to 0.10.2 branch, last one 2 days ago
enthought
traits enthought
85
438
other
66
Observable typed attributes for Python classes
gui types python attributes dataclasses observer-pattern runtime-typechecking
Created 2011-01-28
3,361 commits to main branch, last one 2 months ago
Stewori
pytypes Stewori
20
201
apache-2.0
9
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
pep484 python override type-hints typechecking runtime-typechecking
Created 2016-09-15
353 commits to master branch, last one 3 years 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
sampersand
squire sampersand
5
59
unknown
4
The medieval language held together by twine.
macros esolang runtime pattern-matching programming-language runtime-typechecking
Created 2021-05-11
277 commits to master branch, last one 2 days ago