7 results found Sort:

arktypeio
arktype arktypeio
100
5.3k
mit
16
TypeScript's 1:1 validator, optimized from editor to runtime
parsing javascript typescript static-typing runtime-typechecking
Created 2019-06-21
1,084 commits to main branch, last one a day ago
beartype
beartype beartype
60
3.0k
mit
15
Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.
python3 static-typechecking runtime-typechecking
Created 2020-04-03
1,468 commits to main branch, last one 3 days ago
nalexn
ViewInspector nalexn
162
2.3k
mit
27
Runtime introspection and unit testing of SwiftUI views
swift swift5 swiftui unit-testing swiftui-views best-practices runtime-typechecking
Created 2019-11-16
1,240 commits to 0.10.2 branch, last one about a month ago
enthought
traits enthought
85
445
other
64
Observable typed attributes for Python classes
gui types python attributes dataclasses observer-pattern runtime-typechecking
Created 2011-01-28
3,376 commits to main branch, last one 14 days ago
Stewori
pytypes Stewori
20
200
apache-2.0
8
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 7 months ago
sampersand
squire sampersand
5
60
unknown
3
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 3 months ago