erlang-nix / hex2nixLinks
A tool to automatically convert Hex packages to the Nix Expression format
☆32Updated 5 years ago
Alternatives and similar repositories for hex2nix
Users that are interested in hex2nix are comparing it to the libraries listed below
Sorting:
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- Haskell / Erlang interoperability library☆30Updated 2 years ago
- An opinionated OTP framework wrapper☆26Updated last year
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- Parsec-style parsing for Erlang☆33Updated 14 years ago
- A nix overlay for Erlang Releases☆16Updated last year
- Rebar3 plugin to interact with Nix ecosystem☆13Updated 4 years ago
- Sandboxable Nix project evaluators☆17Updated last year
- Erlang flavored by Some ML☆36Updated 14 years ago
- AST, parser, pretty-printer for Core Erlang source code.☆29Updated 4 years ago
- PureScript Erlang hello world☆13Updated 7 years ago
- Bindings to Cowboy server☆12Updated 2 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 9 years ago
- Supervised Session Actors☆22Updated 9 years ago
- ☆19Updated 8 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 12 years ago
- Helpers for defining Elixir operators☆23Updated 4 years ago
- A statically-typed lisp for the BEAM☆12Updated 4 years ago
- Erlang Design by Contract☆23Updated 7 years ago
- Lens implementation in Erlang☆67Updated 10 years ago
- ☆17Updated 2 years ago
- 🧰 Build Gleam code with rebar3☆16Updated 4 years ago
- A logging handler that can transforms structured logs into opencensus distributed tracing spans☆25Updated 6 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Updated 4 years ago
- 🧊 Методологія верифікації теорем☆93Updated 2 weeks ago
- Say hello to ErlangRump an Erlang Microkernel powered by Rumprun unikernel☆14Updated 9 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- Tree-sitter Grammar for Erlang☆33Updated 3 years ago
- Mutation checker for Erlang☆15Updated 3 years ago
- Dynamic Disnix: A toolset enabling self-adaptive redeployment on top of Disnix☆30Updated 2 years ago