jmitchell / idris-elixir
Idris backend targeting Elixir (Work in progress)
☆18Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for idris-elixir
- An opinionated OTP framework wrapper☆26Updated 4 months ago
- Elmer compiler☆12Updated 8 years ago
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- Haskell / Erlang interoperability library☆29Updated last year
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 7 months ago
- A code-generator for Idris that targets Elixir☆64Updated 6 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆26Updated 11 years ago
- ☆19Updated 7 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- A Freer Monad implemented in elixir.☆32Updated 8 years ago
- Erlang flavored by Some ML☆36Updated 12 years ago
- Skeleton app with contrived client/server examples☆20Updated last year
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 3 years ago
- Supervised Session Actors☆22Updated 8 years ago
- A tool to automatically convert Hex packages to the Nix Expression format☆33Updated 4 years ago
- Erlang to Scheme compiler☆36Updated 12 years ago
- Bindings to Cowboy server☆12Updated 11 months ago
- ☆28Updated 7 years ago
- μKanren in Elm☆42Updated 7 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆15Updated 5 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 2 years ago
- rebar3 plugin for compiling alpaca modules☆11Updated 4 years ago
- Bindings for mounting and interacting with Elm applications in Reason.☆42Updated last year
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- A component-based approach to building UI in Elm☆9Updated 6 years ago
- Transform Erlang or Elixir data into Gleam data☆26Updated last year
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- A type checker for Elixir☆33Updated last year