kofigumbs / codec-beamLinks
Generate Erlang VM byte code from Haskell
☆171Updated 7 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
- A small strongly typed language that compiles to Erlang (not JavaScript)☆204Updated 5 years ago
- Erlang code generator for Idris 2☆141Updated last year
- Documentation of Hamler☆77Updated last year
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Erlang Backend for Idris Compiler☆188Updated 8 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- 🧊 Чиста система з всесвітами☆147Updated last month
- A Freer Monad implemented in elixir.☆32Updated 9 years ago
- μKanren in Elm☆43Updated 8 years ago
- 🐢 Bringing slow news for the nervous among us☆113Updated 4 years ago
- (Semi-)principled type classes for Elixir☆137Updated 3 years ago
- Elmer compiler☆12Updated 8 years ago
- Erlang backend for the PureScript compiler☆341Updated last year
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- Erlang ecosystem common IR☆253Updated 4 years ago
- experimental library for Arrowized FRP in Elm☆41Updated 8 years ago
- Human vs computer chess game entirely in Elm☆44Updated 3 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 12 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- Functional Graph Library in Elm.☆62Updated last year
- guards notation defined in user space☆23Updated 8 years ago
- Relational programming in Elixir☆81Updated 7 years ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- Yet another Hacker News reader, but this time in Elm!☆29Updated 2 years ago
- A supercompiler pass for Erlang☆92Updated 4 years ago
- Simple Haskell http framework☆87Updated 6 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Create Elm types and JSON decoders from Haskell source.☆115Updated last year