7 results found Sort:

arktypeio
arktype arktypeio
72
4.5k
mit
15
TypeScript's 1:1 validator, optimized from editor to runtime
parsing javascript typescript static-typing runtime-typechecking
Created 2019-06-21
1,024 commits to main branch, last one 6 days ago
beartype
beartype beartype
59
2.9k
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,435 commits to main branch, last one 2 days ago
nalexn
ViewInspector nalexn
157
2.3k
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,235 commits to 0.10.2 branch, last one 15 days ago
enthought
traits enthought
85
444
other
65
Observable typed attributes for Python classes
gui types python attributes dataclasses observer-pattern runtime-typechecking
Created 2011-01-28
3,374 commits to main branch, last one 7 days 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 3 years ago
davidfstr
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 6 months 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
277 commits to master branch, last one about a month ago