hex.pm "type-checking" keyword
Top 6.5% on hex.pm
40 versions - Latest release: over 1 year ago - 5 dependent packages - 7 dependent repositories - 134 thousand downloads total - 529 stars on GitHub - 1 maintainer
type_check 0.13.7
Fast and flexible runtime type-checking: Type checks are optimized by the compiler and types can ...40 versions - Latest release: over 1 year ago - 5 dependent packages - 7 dependent repositories - 134 thousand downloads total - 529 stars on GitHub - 1 maintainer
Top 4.7% on hex.pm
15 versions - Latest release: 8 months ago - 1 dependent package - 48 dependent repositories - 4.15 million downloads total - 586 stars on GitHub - 1 maintainer
hammox 0.7.1
Automated contract testing for functions and mocks.15 versions - Latest release: 8 months ago - 1 dependent package - 48 dependent repositories - 4.15 million downloads total - 586 stars on GitHub - 1 maintainer
exdantic 0.1.0
Advanced schema definition and validation library for Elixir3 versions - Latest release: 17 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: 2 months ago - 171 downloads total - 9 stars on GitHub - 1 maintainer
validex 0.6.1
A data validation library for Elixir7 versions - Latest release: over 7 years ago - 1 dependent repositories - 4.06 thousand downloads total - 5 stars on GitHub - 1 maintainer
getypex 0.1.1
Library for checking types. Similar from PHP's gettype or JavaScript's typeof.2 versions - Latest release: over 4 years ago - 293 downloads total - 2 stars on GitHub - 1 maintainer
Related Keywords
elixir
6
validation
4
beam
3
erlang-vm
3
functional-programming
3
otp
3
type-system
3
data-validation
2
data-modeling
2
runtime-validation
2
schema
2
schema-validation
2
contracts
2
development-tools
1
gradual-typing
1
serialization
1
productivity
1
static-analysis
1
static-typing
1
pydantic
1
type-annotations
1
type-inference
1
type-safety
1
typing
1
json-generation
1
json-schema
1
elixir-lang
1
hacktoberfest
1
metaprogramming
1
property-based-testing
1
behaviour
1
behaviour-typespec
1
behaviours
1
contract
1
contract-testing
1
dialyzer
1
explicit-contracts
1
mock
1
mocks
1
mox
1
testing
1
type-checker
1
typechecker
1
typechecking
1
typespec
1
typespecs
1
unit-testing
1