hamler-lang / docs
Documentation of Hamler
☆77Updated last year
Alternatives and similar repositories for docs:
Users that are interested in docs are comparing it to the libraries listed below
- Generate Erlang VM byte code from Haskell☆170Updated 4 months ago
- Erlang backend for the PureScript compiler☆339Updated 9 months ago
- Erlang code generator for Idris 2☆141Updated last year
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- Exploring Elm on the Erlang VM☆152Updated 6 years ago
- Server-side VDOM UI framework for Concur☆139Updated 4 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- A small strongly typed language that compiles to Erlang (not JavaScript)☆204Updated 5 years ago
- A remote virtual DOM library for Haskell☆141Updated 5 months ago
- First-class effects for Elixir☆14Updated 5 years ago
- Crossing the road between Haskell and Elm☆89Updated 3 months ago
- An Elm to OCaml compiler☆206Updated 4 years ago
- A Freer Monad implemented in elixir.☆32Updated 8 years ago
- Erlang Backend for Idris Compiler☆188Updated 7 years ago
- Libraries we use at NoRedInk☆76Updated last month
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- (Semi-)principled type classes for Elixir☆137Updated 2 years ago
- Discriminated unions for Elixir☆65Updated 5 years ago
- Community curated list of companies that use Purescript☆140Updated 4 months ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- ☆65Updated 7 months ago
- ETC☆17Updated 3 years ago
- Simple Haskell http framework☆87Updated 6 years ago
- ☆26Updated 2 years ago
- Demonstration project for getting using gleam inside a mix/elixir project☆30Updated 3 years ago
- A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.☆18Updated 4 years ago
- ☆32Updated last year
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 3 years ago
- 🧊 Чиста система з всесвітами☆147Updated last month
- Unison Codebase UI☆46Updated 2 years ago