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