kofigumbs / codec-beam
Generate Erlang VM byte code from Haskell
☆172Updated last year
Related projects ⓘ
Alternatives and complementary repositories for codec-beam
- Exploring Elm on the Erlang VM☆152Updated 6 years ago
- A small strongly typed language that compiles to Erlang (not JavaScript)☆206Updated 4 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 7 months ago
- Erlang Backend for Idris Compiler☆188Updated 7 years ago
- Documentation of Hamler☆77Updated last year
- 🧊 Чиста система з всесвітами☆143Updated 4 months ago
- Erlang backend for the PureScript compiler☆333Updated 4 months ago
- Erlang code generator for Idris 2☆141Updated 11 months ago
- A parser for Elm in Elm.☆143Updated 4 years ago
- Haskell: Derive Elm types from Haskell types☆100Updated last month
- Create Elm types and JSON decoders from Haskell source.☆116Updated 9 months ago
- Yet another Hacker News reader, but this time in Elm!☆30Updated last year
- A Freer Monad implemented in elixir.☆32Updated 8 years ago
- Relational programming in Elixir☆78Updated 7 years ago
- μKanren in Elm☆42Updated 7 years ago
- An Elm to OCaml compiler☆205Updated 4 years ago
- A code-generator for Idris that targets Elixir☆64Updated 6 years ago
- Simple Haskell http framework☆87Updated 5 years ago
- experimental library for Arrowized FRP in Elm☆41Updated 7 years ago
- Server-side VDOM UI framework for Concur☆139Updated 4 years ago
- Purescript for Elm devs. 🚀☆175Updated 4 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 9 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago
- Work with bytes and implement network protocols☆83Updated 5 years ago
- Automatically derive Elm functions to query servant webservices☆164Updated 9 months ago
- A small portable virtual machine that would run Erlang on embedded systems☆133Updated 6 years ago
- Guide: Rich, scalable game state in Elm☆52Updated 6 years ago
- Advanced Package Manager for Elm☆107Updated 6 years ago
- A remote virtual DOM library for Haskell☆139Updated this week
- A secure web framework, built in the Idris language.☆109Updated 10 years ago