5 results found Sort:

colinhacks
zod colinhacks
1.1k
31.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,049 commits to main branch, last one 15 hours ago
evincarofautumn
kitten evincarofautumn
39
1.1k
other
71
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
36
454
mit
7
Strict TypeScript types for Ethereum ABIs
abi web3 types ethereum typescript static-types type-inference
Created 2022-08-03
323 commits to main branch, last one 20 hours ago
erikerlandson
coulomb erikerlandson
9
142
apache-2.0
9
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
361 commits to scala3 branch, last one 10 days ago
brundonsmith
bagel brundonsmith
2
86
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 about a year ago