hex.pm "type-system" keyword
exdantic 0.1.0
Advanced schema definition and validation library for Elixir3 versions - Latest release: about 2 months ago - 1.11 thousand downloads total - 11 stars on GitHub - 1 maintainer
sinter 0.2.0
Unified schema definition, validation, and JSON generation for Elixir. Sinter is a focused, high...3 versions - Latest release: about 1 month ago - 221 downloads total - 9 stars on GitHub - 1 maintainer
perimeter 0.1.0
A typing system for Elixir/OTP.2 versions - Latest release: 6 months ago - 142 downloads total - 6 stars on GitHub - 1 maintainer
anders 0.3.10
The Anders Programming Language1 version - Latest release: about 1 month ago - 1.35 thousand downloads total - 23 stars on GitHub - 1 maintainer
Related Keywords
beam
3
validation
3
type-checking
3
elixir
3
erlang-vm
3
functional-programming
3
otp
3
schema-validation
2
schema
2
runtime-validation
2
data-validation
2
data-modeling
2
theorem-prover
1
type-checker
1
proof-assistant
1
mltt
1
dependent-types
1
cubical-type-theory
1
typing
1
type-safety
1
type-inference
1
type-annotations
1
static-typing
1
static-analysis
1
productivity
1
gradual-typing
1
development-tools
1
contracts
1
json-schema
1
json-generation
1
serialization
1
pydantic
1
nshkr-schema
1