kofigumbs / codec-beam
Generate Erlang VM byte code from Haskell
☆170Updated 5 months ago
Alternatives and similar repositories for codec-beam
Users that are interested in codec-beam are comparing it to the libraries listed below
Sorting:
- Exploring Elm on the Erlang VM☆152Updated 6 years ago
- Erlang Backend for Idris Compiler☆188Updated 7 years ago
- A small strongly typed language that compiles to Erlang (not JavaScript)☆204Updated 5 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Documentation of Hamler☆77Updated last year
- Erlang code generator for Idris 2☆141Updated last year
- 🧊 Чиста система з всесвітами☆147Updated 3 weeks ago
- Erlang ecosystem common IR☆253Updated 4 years ago
- Erlang backend for the PureScript compiler☆341Updated 10 months ago
- A Freer Monad implemented in elixir.☆32Updated 9 years ago
- (Semi-)principled type classes for Elixir☆137Updated 2 years ago
- A parser for Elm in Elm.☆144Updated 5 years ago
- Create Elm types and JSON decoders from Haskell source.☆115Updated last year
- Relational programming in Elixir☆81Updated 7 years ago
- μKanren in Elm☆43Updated 8 years ago
- experimental library for Arrowized FRP in Elm☆41Updated 8 years ago
- A small portable virtual machine that would run Erlang on embedded systems☆132Updated 6 years ago
- Work with bytes and implement network protocols☆83Updated 6 years ago
- An Elm to OCaml compiler☆206Updated 5 years ago
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Elmer compiler☆12Updated 8 years ago
- A supercompiler pass for Erlang☆92Updated 4 years ago
- Create pictures, animations, and games with Elm!☆108Updated 5 years ago
- Simple Haskell http framework☆87Updated 6 years ago
- Prolog interpreter in and for Erlang☆374Updated last year
- Haskell: Derive Elm types from Haskell types☆104Updated 7 months ago
- A parser combinator library for Elm.☆104Updated 3 years ago