hex.pm "type-system" keyword
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: 12 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: 27 days ago - 654 downloads total - 11 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
beam
3
validation
3
elixir
3
erlang-vm
3
functional-programming
3
type-checking
3
otp
3
data-modeling
2
data-validation
2
schema
2
runtime-validation
2
schema-validation
2
pydantic
1
serialization
1
json-generation
1
type-checker
1
theorem-prover
1
json-schema
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