transumption / mix-to-nix
Sandboxable mix.lock and rebar.lock Nix generator
☆17Updated 4 years ago
Related projects: ⓘ
- A tool to automatically convert Hex packages to the Nix Expression format☆33Updated 4 years ago
- ☆31Updated 2 years ago
- ⚗️ A Rust client for the Hex package manager☆21Updated 2 months ago
- An opinionated OTP framework wrapper☆25Updated 3 months ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- Allows for easy interop with Erlang records.☆26Updated last year
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆32Updated 4 years ago
- Nix Packages for Erlang, Elixir☆10Updated 3 years ago
- ☆47Updated 8 months ago
- Type providers (Code generation) for Gleam programs that use Mix.☆11Updated 3 years ago
- A type checker for Elixir☆33Updated last year
- Tool that allows to write Erlang NIF libraries in Haskell☆26Updated 11 years ago
- Transform Erlang or Elixir data into Gleam data☆26Updated last year
- ☆19Updated 7 years ago
- A lightweight erlang runtime☆21Updated 3 years ago
- Demonstration project for getting using gleam inside a mix/elixir project☆30Updated 3 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago
- A nix overlay for Erlang Releases☆14Updated 3 months ago
- Generate sandbox buildable Nix expression from Mix lock file☆12Updated 2 years ago
- Erlang AST to Elixir AST☆18Updated 3 years ago
- Difference lists in Elixir☆11Updated 7 years ago
- jsone bindings for the Gleam language☆18Updated last year
- An Erlang/Elixir interpreter that runs in the browser☆14Updated 4 years ago
- WebAssembly compiler and runtime for BEAM languages☆31Updated 5 years ago
- 👷 Erlang/OTP on GitHub Actions☆22Updated last year
- encode and decode bittorrent peer wire protocol messages with elixir☆18Updated 8 years ago
- stream a zip archive while building it☆24Updated 5 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Helpers for defining Elixir operators☆23Updated 2 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆12Updated 2 years ago