A sample API Gateway built in Rust (work in progress) for learning purposes

Evil, Powerful Protocols for Elixir

</> htmx - high power tools for HTML

Data generation and property-based testing for Elixir. 🔮

An Elixir library for defining structs and records with a type without writing boilerplate code.

Main engine of the IronCalc ecosystem

Elixir implementation of TypeIDs: type-safe, K-sortable, and globally unique identifiers inspired by Stripe IDs

Type-safe, K-sortable, globally unique identifier inspired by Stripe IDs

UUID v7 implementation and Ecto.Type for Elixir

Core Scenic library

A massively parallel, high-level programming language

A FLOSS (Open Source) hexagonal modular synthesizer plugin.

Graph-oriented live coding language and music/audio DSP library written in Rust

Mixxx is Free DJ software that gives you everything you need to perform live mixes.

Library for parsing Pioneer Rekordbox device exports

Java library for fetching and parsing rekordbox exports and track analysis files.

There can only be one (process in your cluster)!

Use DeltaCrdt to build distributed applications in Elixir

Perfectoid spaces in the Lean formal theorem prover.

Lean 4 programming language and theorem prover

A Coq library for Homotopy Type Theory

Elixir is a dynamic, functional language for building scalable and maintainable applications

Elixir implementation of Money with Currency

Low-level termbox bindings for Elixir

Hexagonal game grids for Elixir

A FLAME Backend for Kubernetes.