Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hex: type_check
Fast and flexible runtime type-checking: Type checks are optimized by the compiler and types can be composed, re-used and turned into property-testing generators. TypeCheck also focuses on showing understandable messages on typecheck-failures.
38 versions
Latest release: 11 months ago
5 dependent packages
34,725 downloads total
View more package details: https://packages.ecosyste.ms/registries/hex.pm/packages/type_check
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/Qqwy%2Felixir-type_check
Dependent Repos 7
Qqwy/elixir-type_check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.- HEAD test/support/depending_project/mix.exs
Size: 1.43 MB - Last synced: 10 days ago - Pushed: 11 months ago
damif94/gradualelixir
A gradual type checker for a fragment of the Elixir Language- ~> 0.10.0 elixir_port/mix.exs
Size: 1.88 MB - Last synced: 2 months ago - Pushed: 2 months ago
Qqwy/elixir-insertable
A lightweight reusable Insertable protocol for Elixir, allowing inserting elements one-at-a-time into a collection.- ~> 0.8 mix.exs
Size: 32.2 KB - Last synced: about 1 month ago - Pushed: about 1 year ago
Qqwy/elixir-extractable
A lightweight reusable Extractable protocol for Elixir, allowing extracting elements one-at-a-time from a collection.- ~> 0.8 mix.exs
Size: 48.8 KB - Last synced: 7 days ago - Pushed: about 1 year ago
babel-upm/corsa
Corsa is a library to write runnable code contracts in Elixir.- ~> 0.12.0 mix.exs
Last synced: 3 months ago
andreaswachs/SEC1
Mandatory assignments and exercises done by me or in groups where I've participated- ~> 0.12.1 handin2/handin2/mix.exs
Size: 479 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
mindreframer/typecheck-bug-reproduction
- 85-dialyzer2 mix.exs
Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
mindreframer/typecheck_issue_reproduction
- HEAD mix.exs
Size: 3.91 KB - Last synced: about 1 month ago - Pushed: over 3 years ago
aj-foster/type_check_example
Test case for Elixir's Type Check library.- ~> 0.12 mix.exs
Size: 1.95 KB - Last synced: 24 days ago - Pushed: almost 2 years ago
Ajwah/type_check_playground
Playing around with TypeCheck- ~> 0.13.2 mix.exs
Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
paulbickford/update-server
Tool to send a command to multiple servers using SSH connections.- ~> 0.10.6 mix.exs
Size: 20.5 KB - Last synced: 6 months ago - Pushed: over 2 years ago
paulbickford/algorithm-visualizer
Animates sorting algorithms- ~> 0.12.0 mix.exs
Size: 45.9 KB - Last synced: 6 months ago - Pushed: almost 2 years ago
xhh/hi_ash
Get started with the Ash framework in a Phoenix project- ~> 0.13 mix.exs
Size: 59.6 KB - Last synced: 5 months ago - Pushed: over 1 year ago
ProducerMatt/stampede
(ALPHA) chat bot serving multiple services and configurations simultaneously- ~> 0.13.5 mix.exs
Size: 230 KB - Last synced: 4 days ago - Pushed: 4 days ago
Mazuh/knapsack
Playing with the Knapsack Problem.- ~> 0.13.3 mix.exs
Size: 9.77 KB - Last synced: 27 days ago - Pushed: 27 days ago