7 results found Sort:

arktypeio
arktype arktypeio
56
3.8k
mit
14
TypeScript's 1:1 validator, optimized from editor to runtime
parsing javascript typescript static-typing runtime-typechecking
Created 2019-06-21
951 commits to main branch, last one a day ago
beartype
beartype beartype
57
2.6k
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,325 commits to main branch, last one 2 days ago
nalexn
ViewInspector nalexn
148
2.2k
mit
31
Runtime introspection and unit testing of SwiftUI views
swift swift5 swiftui unit-testing swiftui-views best-practices runtime-typechecking
Created 2019-11-16
1,201 commits to 0.10.1 branch, last one 11 days ago
enthought
traits enthought
85
432
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 a day ago
Stewori
pytypes Stewori
20
200
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 2 years ago
davidfstr
trycast davidfstr
6
77
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 about a month ago
sampersand
squire sampersand
5
60
unknown
4
The medieval language held together by twine.
macros esolang runtime pattern-matching programming-language runtime-typechecking
Created 2021-05-11
260 commits to master branch, last one 6 months ago