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

Markdown for Elixir. Fast, Extensible, Phoenix-native. AI-ready. Built on top of comrak, ammonia, lumis, and syntect.

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.

zig nifs in elixir

Yet Another HTTP client for Elixir powered by hackney

IP information lookup provider

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

Exercism exercises in Elixir.

Linguist is a simple Elixir internationalization library.

Markdown parser for Elixir

Elixir plugin for JetBrain's IntelliJ Platform (including Rubymine)

Internationalization and localization support for Elixir.

The content behind Elixir School, the premier destination for people seeking to learn and master the Elixir programming language.

Elixir Authentication

Telegram Bot API Wrapper written in Elixir

Elixir library for working with Money safer, easier, and fun... Is an interpretation of the Fowler's Money pattern in fun.prog.

The GraphQL toolkit for Elixir

Craft and deploy bulletproof embedded software in Elixir

A Make compiler for Mix

Fast, simple, and robust Cassandra/ScyllaDB driver for Elixir.

Elixir implementation of CLDR/ICU

A simple and fast CSV parsing and dumping library for Elixir

A high performance web crawler / scraper in Elixir.

A toolkit for building excellent APIs with Elixir

Simple Job Processing in Elixir with Mnesia :zap:

Simple deployment and server automation for Elixir.

A pure Elixir implementation of Google Protobuf.

Data generation and property-based testing for Elixir. 🔮