Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
☆126May 14, 2021Updated 5 years ago
Alternatives and similar repositories for erlt
Users that are interested in erlt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A type-checker for Erlang☆547Jun 26, 2026Updated 4 months ago
- An automated code formatter for Erlang☆467Oct 7, 2026Updated 3 weeks ago
- A Gradual type system for Erlang☆619Mar 24, 2026Updated 7 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 5 years ago
- Erlang Formatter for Rebar3☆114May 16, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Rust reimplementation of subset of Erlang's xref☆15Nov 28, 2021Updated 4 years ago
- Erlang shell with advanced features: evaluating non-exported functions and shortcuts for frequently used functions.☆80Nov 10, 2023Updated 2 years ago
- Modern, performant, and extensible, Erlang in-memory cache☆27Jun 26, 2026Updated 4 months ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 5 years ago
- The Erlang Language Server☆658Aug 15, 2025Updated last year
- Erlang Memory Mapped Files☆38Jun 19, 2026Updated 4 months ago
- Master thesis on developing a static type checker for Erlang☆27Sep 30, 2018Updated 8 years ago
- An Erlang language server, providing IDE services.☆124Oct 27, 2021Updated 5 years ago
- A minimalistic Erlang web framework☆12Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆70Aug 4, 2021Updated 5 years ago
- Erlang Distribution inside Kubernetes Cluster☆29Dec 31, 2020Updated 5 years ago
- erlfuzz is a fuzzer for the Erlang ecosystem☆126Apr 14, 2026Updated 6 months ago
- Prototype implementation of the security analysis introduced in V. Fördős: Secure Design and Verification of Erlang Systems paper☆12Aug 13, 2021Updated 5 years ago
- Find unused functions in your project☆229Jul 26, 2026Updated 3 months ago
- A webring for bloggers in the BEAM Ecosystem (Erlang, Elixir, Gleam, LFE, etc), you find it at beambloggers.com☆58Mar 15, 2024Updated 2 years ago
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- A logging handler that can transforms structured logs into opencensus distributed tracing spans☆25Jul 22, 2019Updated 7 years ago
- An ML-like statically-typed Erlang☆162Oct 6, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang☆39Aug 20, 2022Updated 4 years ago
- Rufus is a programming language for people that build and operate fault tolerant systems.☆33Sep 2, 2025Updated last year
- An Erlang OTP application for load shedding☆26May 16, 2025Updated last year
- A parse transform to introduce module aliasing into Erlang code☆10Sep 30, 2020Updated 6 years ago
- Erlang interface to eBPF☆60Sep 22, 2023Updated 3 years ago
- An opinionated MQTT client library based on Tortoise MQTT☆32Oct 6, 2026Updated 3 weeks ago
- by 0xfafafa☆15Dec 10, 2017Updated 8 years ago
- a functional language for building type-safe, scalable, and maintainable applications☆1,106Sep 25, 2023Updated 3 years ago
- A tool for rapid profiling of Erlang and Elixir applications☆39Dec 2, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Erlang Postgres client and connection pool☆108Sep 10, 2026Updated last month
- Static Typechecker for Elixir☆85Oct 21, 2020Updated 6 years ago
- NOT FOR PRODUCTION USE: Safe-ish is an experimental sandbox for BEAM modules that examines and rejects BEAM bytecode containing instructi…☆29Apr 21, 2022Updated 4 years ago
- Haskell-style functional programming language running on Erlang VM.☆1,041Feb 3, 2022Updated 4 years ago
- Misc Erlang Tools☆10Dec 12, 2023Updated 2 years ago
- Rebar3 plugin to build Rust crates☆22Jan 8, 2023Updated 3 years ago
- Prometheus.io client in Erlang☆355Jul 27, 2026Updated 3 months ago