christian-public / Idris2-ErlangLinks
Erlang code generator for Idris 2
☆142Updated last year
Alternatives and similar repositories for Idris2-Erlang
Users that are interested in Idris2-Erlang are comparing it to the libraries listed below
Sorting:
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- Generate Erlang VM byte code from Haskell☆169Updated 10 months ago
- Documentation of Hamler☆77Updated last year
- Erlang backend for the PureScript compiler☆343Updated 2 weeks ago
- Erlang Backend for Idris Compiler☆188Updated 8 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆113Updated 3 years ago
- ☆33Updated 2 years ago
- 🧊 Чиста система з всесвітами☆147Updated 3 months ago
- Exploring Elm on the Erlang VM☆152Updated 6 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 12 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- A small strongly typed language that compiles to Erlang (not JavaScript)☆204Updated 5 years ago
- ETC☆16Updated 4 years ago
- Roc Build Tool☆49Updated 2 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- simplified query engine based on logic programming paradigm☆153Updated 6 years ago
- Haskell / Erlang interoperability library☆30Updated 2 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 4 years ago
- (Semi-)principled type classes for Elixir☆137Updated 3 years ago
- 🧊 Типізоване -גчислення☆16Updated 3 months ago
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- Session Types in Elixir☆49Updated last year
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly☆262Updated 4 years ago
- Libraries we use at NoRedInk☆76Updated last month
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆47Updated 3 years ago
- ☆10Updated 4 years ago
- ⭕️ N2O: Haskell Application Server☆46Updated 3 years ago
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago