msz / hammox Star 587 Code Issues Pull requests 🏝 automated contract testing via type checking for Elixir functions and mocks testing mock unit-testing typechecker elixir contract behaviour contracts type-checking mocks contract-testing behaviours typechecking dialyzer mox type-checker typespec behaviour-typespec typespecs explicit-contracts Updated Jul 26, 2025 Elixir
haskric / map_schema Star 2 Code Issues Pull requests Simple, agile, map schema in elixir with type checking, custom types with casting and validation and with json encoding json elixir types doctest casting typechecking map-schema Updated Dec 30, 2020 Elixir