All Projects → Zod → Similar Projects or Alternatives

23 Open source projects that are alternatives of or similar to Zod

type-infer
A Clojure utility to inspect static types inferred by the Clojure compiler
Stars: ✭ 16 (-99.7%)
Mutual labels:  static-types, type-inference
Gluon
A static, type inferred and embeddable language written in Rust.
Stars: ✭ 2,457 (-54.25%)
Mutual labels:  type-inference
Jedi
Awesome autocompletion, static analysis and refactoring library for python
Stars: ✭ 5,037 (-6.22%)
Mutual labels:  type-inference
Psalm
A static analysis tool for finding errors in PHP applications
Stars: ✭ 4,523 (-15.79%)
Mutual labels:  type-inference
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (-42.95%)
Mutual labels:  type-inference
DataAnalyzer.app
✨🚀 DataAnalyzer.app - Convert JSON/CSV to Typed Data Interfaces - Automatically!
Stars: ✭ 23 (-99.57%)
Mutual labels:  type-inference
REInfer
Runtime Extended Inference for json data.
Stars: ✭ 23 (-99.57%)
Mutual labels:  type-inference
visions
Type System for Data Analysis in Python
Stars: ✭ 136 (-97.47%)
Mutual labels:  type-inference
HyperKA
Knowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP 2020
Stars: ✭ 27 (-99.5%)
Mutual labels:  type-inference
Typology
Swift type checking and semantic analysis for developer tools
Stars: ✭ 68 (-98.73%)
Mutual labels:  type-inference
samlang
Sam's Programming Language
Stars: ✭ 22 (-99.59%)
Mutual labels:  type-inference
heron-language
A pure functional type-inferred language based on JavaScript
Stars: ✭ 53 (-99.01%)
Mutual labels:  type-inference
TypeInferencer
Algorithm W and Algorithm M in F#
Stars: ✭ 33 (-99.39%)
Mutual labels:  type-inference
storage
Mongoose-like schema validation, collections and documents on browser (client-side)
Stars: ✭ 17 (-99.68%)
Mutual labels:  schema-validation
schema-registry-gitops
Manage Confluent Schema Registry subjects through Infrastructure as code
Stars: ✭ 36 (-99.33%)
Mutual labels:  schema-validation
TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Stars: ✭ 23 (-99.57%)
Mutual labels:  type-inference
LambdaNet
Probabilistic Type Inference using Graph Neural Networks
Stars: ✭ 39 (-99.27%)
Mutual labels:  type-inference
vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Stars: ✭ 73 (-98.64%)
Mutual labels:  type-inference
fluent-schemer
i wrote this so i can validate stuff without suffering
Stars: ✭ 43 (-99.2%)
Mutual labels:  schema-validation
phpstan-dba
PHPStan based SQL static analysis and type inference for the database access layer
Stars: ✭ 163 (-96.97%)
Mutual labels:  type-inference
api
_api is an autogenerated CRUD API built on LowDB and ExpressJS.
Stars: ✭ 73 (-98.64%)
Mutual labels:  schema-validation
redux-typed-saga
A type-safe alternative to redux-saga. // Using `yield*` in `finally` is currently broken in Babel / ES spec, as it will terminate the generator completely.
Stars: ✭ 12 (-99.78%)
Mutual labels:  static-types
sbt-graphql
SBT plugin to generate and validate graphql schemas written with Sangria
Stars: ✭ 94 (-98.25%)
Mutual labels:  schema-validation
1-23 of 23 similar projects