Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hex.pm "dependent-types" keyword

tyx 0.1.2
Library bringing types support to elixir. Allows type validation in compile time.
4 versions - Latest release: almost 5 years ago - 538 downloads total - 3 stars on GitHub - 1 maintainer
anders 0.3.10
The Anders Programming Language
1 version - Latest release: 12 days ago - 1.35 thousand downloads total - 23 stars on GitHub - 1 maintainer
Related Keywords
elixir 1 elixir-lang 1 types 1 cubical-type-theory 1 mltt 1 proof-assistant 1 theorem-prover 1 type-checker 1 type-system 1