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
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- Session Types in Elixir☆49Updated last year
- ☆32Updated last year
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- A type checker for Elixir☆33Updated 2 years ago
- ☆19Updated 7 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Erlang code generator for Idris 2☆141Updated last year
- Elmer compiler☆12Updated 8 years ago
- Static typechecker for Erlang☆52Updated 3 weeks ago
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated last year
- Discriminated unions for Elixir☆65Updated 5 years ago
- ☆52Updated 4 years ago
- A Freer Monad implemented in elixir.☆32Updated 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
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 6 months ago
- (Semi-)principled type classes for Elixir☆137Updated 2 years ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- State aware Elixir functions without spawning processes☆27Updated 7 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆114Updated 2 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 3 years ago
- Demonstration project for getting using gleam inside a mix/elixir project☆30Updated 3 years ago
- BuckleScript binding for Phoenix Channel/Presence☆40Updated 5 years ago
- Documentation of Hamler☆77Updated last year
- Core runtime of Erlscripten - ERTS emulation☆15Updated 2 years ago
- Prolog interpreter/compiler☆33Updated 4 years ago
- Almost-extensible effects for Elixir.☆27Updated 8 years ago