christian-public / Idris2-ErlangLinks
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
Sorting:
- Documentation of Hamler☆77Updated last year
- Erlang backend for the PureScript compiler☆342Updated last year
- Generate Erlang VM byte code from Haskell☆171Updated 7 months ago
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- Erlang Backend for Idris Compiler☆188Updated 7 years ago
- 🧊 Чиста система з всесвітами☆147Updated 3 weeks ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 3 weeks ago
- Ordo: A minimalist language with row polymorphism☆82Updated 2 months ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Erlang to PureScript transpiler. Run Erlang in the browser!☆114Updated 2 years ago
- An Elm to OCaml compiler☆207Updated 5 years ago
- ☆32Updated last year
- A package manager for Idris☆187Updated 4 years ago
- A small strongly typed language that compiles to Erlang (not JavaScript)☆204Updated 5 years ago
- (Semi-)principled type classes for Elixir☆137Updated 3 years ago
- An ML-like statically-typed Erlang☆155Updated last year
- Server-side VDOM UI framework for Concur☆138Updated 4 years ago
- Exploring Elm on the Erlang VM☆152Updated 6 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Roc Build Tool☆48Updated 2 years ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- Js libraries for idris☆49Updated 5 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- ☆10Updated 4 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- ETC☆17Updated 3 years ago
- A plug-and-play library for neural networks written in Gleam☆35Updated 9 months ago
- A core language and API for dependently typed languages☆94Updated 4 months ago
- Inigo: A Package Manager for Idris2☆63Updated 2 years ago
- Relational programming in Elixir☆81Updated 7 years ago