christian-public / Idris2-Erlang
Erlang code generator for Idris 2
☆141Updated last year
Alternatives and similar repositories for Idris2-Erlang:
Users that are interested in Idris2-Erlang are comparing it to the libraries listed below
- Generate Erlang VM byte code from Haskell☆170Updated 4 months ago
- Erlang backend for the PureScript compiler☆339Updated 9 months ago
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- Documentation of Hamler☆77Updated last year
- Erlang Backend for Idris Compiler☆188Updated 7 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 3 years ago
- ☆32Updated last year
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- (Semi-)principled type classes for Elixir☆137Updated 2 years ago
- 🧊 Чиста система з всесвітами☆145Updated 3 weeks ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆114Updated 2 years ago
- Exploring Elm on the Erlang VM☆152Updated 6 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated last week
- ETC☆17Updated 3 years ago
- Libraries we use at NoRedInk☆76Updated last month
- Server-side VDOM UI framework for Concur☆139Updated 4 years ago
- BuckleScript binding for Phoenix Channel/Presence☆40Updated 5 years ago
- Prolog interpreter in and for Erlang☆374Updated last year
- A small strongly typed language that compiles to Erlang (not JavaScript)☆204Updated 5 years ago
- simplified query engine based on logic programming paradigm☆147Updated 6 years ago
- Vim mode for Idris 2☆77Updated 2 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- An ML-like statically-typed Erlang☆152Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated last year
- An Elm to OCaml compiler☆206Updated 4 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- A Gradual type system for Erlang☆618Updated 5 months ago
- Bootstrapped algebraic data types for Elixir☆338Updated 2 years ago
- Crossing the road between Haskell and Elm☆89Updated 3 months ago
- Session Types in Elixir☆49Updated last year