jameshaydon / idris-elixir
A code-generator for Idris that targets Elixir
☆63Updated 7 years ago
Alternatives and similar repositories for idris-elixir:
Users that are interested in idris-elixir are comparing it to the libraries listed below
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 11 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- A type checker for Elixir☆33Updated 2 years ago
- A Freer Monad implemented in elixir.☆32Updated 8 years ago
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated 2 years ago
- Elmer compiler☆12Updated 8 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆68Updated 5 years ago
- Transform Erlang or Elixir data into Gleam data☆27Updated 2 years ago
- Demonstration project for getting using gleam inside a mix/elixir project☆30Updated 4 years ago
- Discriminated unions for Elixir☆65Updated 5 years ago
- ☆19Updated 7 years ago
- Session Types in Elixir☆49Updated last year
- ☆32Updated last year
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- (Semi-)principled type classes for Elixir☆137Updated 2 years ago
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- Erlang code generator for Idris 2☆141Updated last year
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- Relational programming in Elixir☆81Updated 7 years ago
- Generate Erlang VM byte code from Haskell☆170Updated 5 months ago
- Elixir Extended Protocol☆49Updated 11 months ago
- ☆53Updated 4 years ago
- First-class effects for Elixir☆14Updated 5 years ago
- Core runtime of Erlscripten - ERTS emulation☆15Updated 2 years ago
- An example of the most minimal shell you can write on erlang.☆10Updated 9 years ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- Convert Erlang style structs and error messages to equivalent Elixir.☆34Updated 11 months ago
- Erlang Design by Contract☆24Updated 6 years ago