Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
☆127May 14, 2021Updated 4 years ago
Alternatives and similar repositories for erlt
Users that are interested in erlt are comparing it to the libraries listed below
Sorting:
- A type-checker for Erlang☆540Feb 20, 2026Updated last week
- An automated code formatter for Erlang☆446Updated this week
- A Gradual type system for Erlang☆620Apr 23, 2025Updated 10 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- Erlang shell with advanced features: evaluating non-exported functions and shortcuts for frequently used functions.☆79Nov 10, 2023Updated 2 years ago
- An opinionated MQTT client library based on Tortoise MQTT☆31Dec 2, 2025Updated 3 months ago
- Erlang Memory Mapped Files☆38Mar 17, 2025Updated 11 months ago
- Rust reimplementation of subset of Erlang's xref☆15Nov 28, 2021Updated 4 years ago
- Erlang Formatter for Rebar3☆113May 16, 2025Updated 9 months ago
- Rufus is a programming language for people that build and operate fault tolerant systems.☆33Sep 2, 2025Updated 6 months ago
- The Erlang Language Server☆660Aug 15, 2025Updated 6 months ago
- Erlang interface to eBPF☆56Sep 22, 2023Updated 2 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆68Aug 4, 2021Updated 4 years ago
- An ML-like statically-typed Erlang☆157Oct 6, 2023Updated 2 years ago
- Misc Erlang Tools☆10Dec 12, 2023Updated 2 years ago
- A parse transform to introduce module aliasing into Erlang code☆10Sep 30, 2020Updated 5 years ago
- Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang☆39Aug 20, 2022Updated 3 years ago
- Dependency Updater for rebar3-based Erlang Projects☆21May 16, 2025Updated 9 months ago
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- systemd utilities for Erlang applications☆191Jul 5, 2025Updated 7 months ago
- Erlang Postgres client and connection pool☆98Jan 7, 2026Updated last month
- NOT FOR PRODUCTION USE: Safe-ish is an experimental sandbox for BEAM modules that examines and rejects BEAM bytecode containing instructi…☆29Apr 21, 2022Updated 3 years ago
- An Erlang OTP application for load shedding☆26May 16, 2025Updated 9 months ago
- The Visual Studio Code Extension for the Erlang Language Server☆81Oct 9, 2024Updated last year
- Allows for easy interop with Erlang records.☆25Sep 6, 2023Updated 2 years ago
- Simple, robust and performant Erlang web server☆332Nov 15, 2024Updated last year
- ☆17Dec 5, 2020Updated 5 years ago
- Find unused functions in your project☆228Dec 26, 2023Updated 2 years ago
- erlfuzz is a fuzzer for the Erlang ecosystem☆126Oct 22, 2025Updated 4 months ago
- a functional language for building type-safe, scalable, and maintainable applications☆1,097Sep 25, 2023Updated 2 years ago
- A blazing fast JSON parser and generator in pure Erlang.☆169Sep 11, 2024Updated last year
- Erlang framework for building applications with Lasp on GRiSP☆46Apr 14, 2023Updated 2 years ago
- A RocksDB backend plugin for mnesia, based on mnesia_eleveldb☆158Dec 1, 2025Updated 3 months ago
- OAuth2 client in Erlang.☆23Jul 8, 2022Updated 3 years ago
- A statically typed functional programming language for the web.☆226Oct 25, 2025Updated 4 months ago
- A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a sing…☆925Updated this week
- Erlang/OTP + Elixir + IEx + Mix in a single executable for Linux/macOS/Windows. Just run Elixir!☆133Jul 5, 2021Updated 4 years ago
- A runtime verification tool for Erlang systems☆16Jan 18, 2024Updated 2 years ago