jameshaydon / idris-elixir
A code-generator for Idris that targets Elixir
☆64Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for idris-elixir
- Tool that allows to write Erlang NIF libraries in Haskell☆26Updated 11 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago
- Transform Erlang or Elixir data into Gleam data☆26Updated last year
- A Freer Monad implemented in elixir.☆32Updated 8 years ago
- Relational programming in Elixir☆78Updated 7 years ago
- Session Types in Elixir☆48Updated last year
- A type checker for Elixir☆33Updated last year
- Erlang code generator for Idris 2☆140Updated last year
- Elmer compiler☆12Updated 8 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆67Updated 5 years ago
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated last year
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆32Updated 4 years ago
- jsone bindings for the Gleam language☆18Updated last year
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 8 months ago
- (Semi-)principled type classes for Elixir☆140Updated 2 years ago
- ☆19Updated 7 years ago
- Discriminated unions for Elixir☆64Updated 5 years ago
- State aware Elixir functions without spawning processes☆27Updated 6 years ago
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 2 months ago
- Elixir Extended Protocol☆49Updated 6 months ago
- ☆31Updated last year
- 🧰 Build Gleam code with rebar3☆15Updated 3 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆113Updated 2 years ago
- ☆52Updated 4 years ago
- Generate Erlang VM byte code from Haskell☆172Updated this week
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆126Updated 3 years ago