Search

Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)

Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more

DNS server, in Erlang.

A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a single system.

Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.

HTTP/1.1, HTTP/2, Websocket client (and more) for Erlang/OTP.

Erlang/OTP

A mocking library for Erlang

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

JSON NIFs for Erlang

Zotonic - The Erlang Web Framework & CMS

Erlang MQTT 5.0 Client

Platform infrastructure for embedded Erlang/OTP, Elixir, and LFE projects

Erlang PostgreSQL client library.

Erlang Style Reviewer

A distributed MQTT message broker based on Erlang/OTP. Built for high quality & Industrial use cases. The VerneMQ mission is active & the project maintained. Thank you for your support!

High-Performance Erlang Network Client Framework

A curated list of awesome Erlang frameworks, libraries and software.

Safe Rust bridge for creating Erlang NIF functions

the Official Erlang OTP image on Docker Hub

F# to JavaScript, TypeScript, Python, Rust, Erlang and Dart Compiler

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.

Knowledge base for The Weekly Challenge club members using Perl, Raku, Ada, APL, Awk, Bash, BASIC, Bc, Befunge-93, Bourne Shell, BQN, Brainfuck, C3, C, CESIL, C++, C#, Clojure, COBOL, Coconut, Crystal, D, Dart, Dc, Elm, Emacs Lisp, Erlang, Excel VBA, Fennel, Fish, Forth, Fortran, Gembase, GNAT, Go, Haskell, Haxe, HTML, Idris, IO, J, Janet, Java, JavaScript, Julia, Kotlin, Lisp, Lua, M4, Miranda, Modula 3, MMIX, Mumps, Myrddin, Nim, Nix, Node.js, Nuweb, OCaml, Odin, Ook, Pascal, PHP, Python, Postscript, Prolog, R, Ring, Ruby, Rust, Scala, Scheme, Sed, Smalltalk, SQL, Swift, Tcl, TypeScript, Visual BASIC, WebAssembly, Wolfram, XSLT and Zig.

OpenTelemetry Erlang SDK

systemd utilities for Erlang applications

An automated code formatter for Erlang

Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)

Evision: An OpenCV-Erlang/Elixir binding

Erlang Language Platform. LSP server and CLI.