5 results found Sort:

colinhacks
zod colinhacks
1.2k
34.6k
mit
63
TypeScript-first schema validation with static type inference
typescript static-types type-inference schema-validation runtime-validation
Created 2020-03-07
2,098 commits to main branch, last one 11 days ago
evincarofautumn
kitten evincarofautumn
42
1.1k
other
70
A statically typed concatenative systems programming language.
forth effects haskell language static-types concatenative programming-language
Created 2011-12-20
1,122 commits to master branch, last one about a year ago
wevm
abitype wevm
48
492
mit
7
Strict TypeScript types for Ethereum ABIs
abi web3 types ethereum typescript static-types type-inference
Created 2022-08-03
344 commits to main branch, last one a day ago
erikerlandson
coulomb erikerlandson
9
142
apache-2.0
8
coulomb: unit analysis for Scala
scala units numeric refined typeclass typelevel pureconfig avro-schema type-safety static-types typechecking configuration unit-analysis unit-quantity unit-conversion units-of-measure dimensional-analysis configuration-management
Created 2017-01-10
371 commits to scala3 branch, last one 2 months ago
brundonsmith
bagel brundonsmith
2
85
mit
4
A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used to the JavaScript/TypeScript language and ecosystem.
deno compiler javascript reactivity typescript static-types strongly-typed functional-programming
Created 2021-04-10
970 commits to master branch, last one 2 years ago