josefs / Gradualizer

Related projects: ⓘ

• dashbitco / nimble_parsec
  A simple and fast library for text-based parser combinators
  ☆804Updated 2 months ago
• witchcrafters / algae
  Bootstrapped algebraic data types for Elixir
  ☆342Updated last year
• Qqwy / elixir-type_check
  TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
  ☆516Updated last month
• ostinelli / syn
  A scalable global Process Registry and Process Group manager for Erlang and Elixir.
  ☆625Updated 3 weeks ago
• elixir-toniq / norm
  Data specification and generation
  ☆688Updated 3 months ago
• alfert / propcheck
  Property based Testing for Elixir (based upon PropEr)
  ☆372Updated 3 months ago
• ejpcmac / typed_struct
  An Elixir library for defining structs with a type without writing boilerplate code.
  ☆729Updated 9 months ago
• whatyouhide / stream_data
  Data generation and property-based testing for Elixir. 🔮
  ☆864Updated 3 months ago
• elixir-toniq / raft
  An Elixir implementation of the raft consensus protocol
  ☆428Updated 4 years ago
• witchcrafters / quark
  Common combinators for Elixir
  ☆324Updated 2 years ago
• esl / gradient
  Gradient is a static typechecker for Elixir
  ☆435Updated last year
• WhatsApp / eqwalizer
  A type-checker for Erlang
  ☆507Updated this week
• beam-telemetry / telemetry
  Dynamic dispatching library for metrics and instrumentations.
  ☆865Updated 3 weeks ago
• derekkraan / delta_crdt_ex
  Use DeltaCrdt to build distributed applications in Elixir
  ☆493Updated 3 months ago
• sasa1977 / boundary
  Manage and restrain cross-module dependencies in Elixir projects
  ☆818Updated 5 months ago
• elixir-toniq / vapor
  Runtime configuration system for Elixir
  ☆592Updated last year
• sasa1977 / site_encrypt
  Integrated certification via Let's encrypt for Elixir-powered sites
  ☆469Updated 2 months ago
• versilov / matrex
  A blazing fast matrix library for Elixir/Erlang with C implementation using CBLAS.
  ☆479Updated 4 years ago
• msz / hammox
  🏝 automated contract testing via type checking for Elixir functions and mocks
  ☆562Updated 9 months ago
• erlanglab / erlangpl
  Tool for developers working with systems running on the Erlang VM (BEAM). It helps with performance analysis.
  ☆546Updated 2 years ago
• CrowdHailer / OK
  Elegant error/exception handling in Elixir, with result monads.
  ☆599Updated 4 years ago
• arjan / decorator
  Function decorators for Elixir
  ☆382Updated 7 months ago
• derekkraan / horde
  Horde is a distributed Supervisor and Registry backed by DeltaCrdt
  ☆1,294Updated 3 weeks ago
• meh / amnesia
  Mnesia wrapper for Elixir.
  ☆692Updated 2 years ago
• andytill / erlyberly
  erlang tracing for the masses
  ☆693Updated last year
• WhatsApp / erlfmt
  An automated code formatter for Erlang
  ☆408Updated 2 weeks ago
• ExHammer / hammer
  An Elixir rate-limiter with pluggable backends
  ☆731Updated 2 months ago
• kipcole9 / money
  Elixir implementation of Money with Currency
  ☆564Updated this week
• adobe / elixir-styler
  An @elixir-lang code-style enforcer that will just FIFY instead of complaining
  ☆638Updated last week
• cabol / nebulex
  In-memory and distributed caching toolkit for Elixir.
  ☆1,236Updated this week