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

renaudlenne/basic-e-commerce
  • ~> 0.10.0 apps/basic_ecommerce/mix.exs

Last synced: 10 days 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

notex1/js
  • ~> 0.13.2 mix.exs

Last synced: 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