Haskell-style functional programming language running on Erlang VM.
☆1,034Feb 3, 2022Updated 4 years ago
Alternatives and similar repositories for hamler
Users that are interested in hamler are comparing it to the libraries listed below
Sorting:
- a functional language for building type-safe, scalable, and maintainable applications☆1,097Sep 25, 2023Updated 2 years ago
- Documentation of Hamler☆77Oct 16, 2023Updated 2 years ago
- Erlang backend for the PureScript compiler☆352Sep 4, 2025Updated 6 months ago
- An alternative BEAM implementation, designed for WebAssembly☆3,589Oct 18, 2023Updated 2 years ago
- A Gradual type system for Erlang☆620Apr 23, 2025Updated 10 months ago
- Functional programming inspired by ML for the Erlang VM☆1,460Jun 13, 2020Updated 5 years ago
- Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)☆1,149Mar 17, 2020Updated 5 years ago
- Erlang code generator for Idris 2☆145Nov 13, 2023Updated 2 years ago
- Monads and other dark magic for Elixir☆1,230Aug 28, 2023Updated 2 years ago
- A framework for Gleam, Midas makes shiny things.☆207Dec 5, 2025Updated 2 months ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127May 14, 2021Updated 4 years ago
- A friendly programming language from the future☆6,490Feb 25, 2026Updated last week
- A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.☆3,999Feb 12, 2026Updated 2 weeks ago
- A purely functional programming language with first class types☆2,878Feb 24, 2026Updated last week
- Safe Rust bridge for creating Erlang NIF functions☆4,734Feb 15, 2026Updated 2 weeks ago
- Koka language compiler and interpreter☆3,817Feb 25, 2026Updated last week
- An automated code formatter for Erlang☆446Updated this week
- Languages, and about languages, on the BEAM☆782Dec 11, 2025Updated 2 months ago
- A type-checker for Erlang☆540Feb 20, 2026Updated last week
- Lisp Flavoured Erlang (LFE)☆2,416Jan 9, 2026Updated last month
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,951Nov 14, 2022Updated 3 years ago
- An Erlang VM implementation in Rust☆1,080Jan 12, 2022Updated 4 years ago
- ⭐️ A friendly language for building type-safe, scalable systems!☆21,202Updated this week
- A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a sing…☆928Updated this week
- Compile Elixir applications into single, easily distributed executable binaries☆1,422Sep 18, 2024Updated last year
- Erlang ecosystem common IR☆252Feb 13, 2021Updated 5 years ago
- An ML-like statically-typed Erlang☆157Oct 6, 2023Updated 2 years ago
- Dynamic dispatching library for metrics and instrumentations.☆903Feb 24, 2026Updated last week
- 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and pro…☆5,229Updated this week
- The Erlang Language Server☆661Aug 15, 2025Updated 6 months ago
- A strongly-typed language that compiles to JavaScript☆8,833Oct 18, 2025Updated 4 months ago
- Visualize Erlang/Elixir Nodes On The Command Line☆1,504Jan 16, 2026Updated last month
- Elixir HTTP client, focused on performance☆1,347Updated this week
- Data specification and generation☆698Feb 2, 2026Updated last month
- Tiny Erlang VM☆2,031Updated this week
- Functional HTTP client for Elixir with support for HTTP/1 and HTTP/2 🌱☆1,408Jan 30, 2026Updated last month
- Easy and extensible benchmarking in Elixir providing you with lots of statistics!☆1,500Feb 16, 2026Updated 2 weeks ago
- A modern proof language☆3,728Jan 22, 2025Updated last year
- Horde is a distributed Supervisor and Registry backed by Postgres☆1,461Nov 18, 2025Updated 3 months ago