jmitchell / idris-elixirLinks
Idris backend targeting Elixir (Work in progress)
☆18Updated 8 years ago
Alternatives and similar repositories for idris-elixir
Users that are interested in idris-elixir are comparing it to the libraries listed below
Sorting:
- An opinionated OTP framework wrapper☆26Updated 7 months ago
- Haskell / Erlang interoperability library☆30Updated 2 years ago
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 12 years ago
- Generate Erlang VM byte code from Haskell☆169Updated 10 months ago
- Elmer compiler☆12Updated 8 years ago
- ☆19Updated 8 years ago
- A statically-typed lisp for the BEAM☆12Updated 4 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- Documentation of Hamler☆77Updated last year
- Erlang flavored by Some ML☆36Updated 13 years ago
- A tool to automatically convert Hex packages to the Nix Expression format☆32Updated 5 years ago
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- ☆33Updated 2 years ago
- A Freer Monad implemented in elixir.☆32Updated 9 years ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- 🐢 Bringing slow news for the nervous among us☆113Updated 4 years ago
- Erlang code generator for Idris 2☆142Updated last year
- Learning how to build a language on the BEAM☆25Updated 8 years ago
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆47Updated 3 years ago
- Bindings to Cowboy server☆12Updated last year
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 4 years ago
- Bindings for mounting and interacting with Elm applications in Reason.☆42Updated 2 years ago
- Almost-extensible effects for Elixir.☆27Updated 9 years ago
- guards notation defined in user space☆23Updated 8 years ago
- All the worlds currencies.☆13Updated 3 years ago
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- Exercism exercises in Idris.☆35Updated last week