a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
☆263Mar 7, 2021Updated 4 years ago
Alternatives and similar repositories for lam
Users that are interested in lam 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
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- Misc Erlang Tools☆10Dec 12, 2023Updated 2 years ago
- Erlang ecosystem common IR☆252Feb 13, 2021Updated 5 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- A Mix plugin to use Caramel☆15Oct 24, 2021Updated 4 years ago
- A Gleam Library for adding colours in Terminal☆12Feb 6, 2024Updated 2 years ago
- An ML-like statically-typed Erlang☆157Oct 6, 2023Updated 2 years ago
- A static website generator☆45Apr 21, 2024Updated last year
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆35Sep 20, 2022Updated 3 years ago
- A simple parser combinator package written in Gleam.☆17Mar 1, 2022Updated 4 years ago
- KSUID generation and manipulation in Erlang.☆11Jul 26, 2022Updated 3 years ago
- An alternative BEAM implementation, designed for WebAssembly☆3,589Oct 18, 2023Updated 2 years ago
- Skeleton generator for OCaml projects.☆47Oct 28, 2021Updated 4 years ago
- Erlang Replacement Therapy. Another attempt to make Erlang runtime (BEAM emulator) in Rust. Good news: I know what to do. Bad news: I hav…☆601Feb 4, 2026Updated 3 weeks ago
- Prototype implementation of the security analysis introduced in V. Fördős: Secure Design and Verification of Erlang Systems paper☆12Aug 13, 2021Updated 4 years ago
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 4 years ago
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆15Aug 11, 2020Updated 5 years ago
- Automatic NIF generator using Eir and LLVM☆52Apr 18, 2019Updated 6 years ago
- Curated BEAM language libraries by category☆28Jan 23, 2024Updated 2 years ago
- An opinionated attempt at finally solving typescript interop for ReasonML / OCaml.☆70Sep 19, 2020Updated 5 years ago
- 👷 Erlang/OTP on GitHub Actions☆22Sep 8, 2023Updated 2 years ago
- ☆16Feb 3, 2021Updated 5 years ago
- a mirage kernel using esy☆18Jan 20, 2021Updated 5 years ago
- A Gradual type system for Erlang☆620Apr 23, 2025Updated 10 months ago
- Js_of_ocaml bindings to JS Promises with supplemental functions☆30Jan 15, 2025Updated last year
- A simple js_of_ocaml workflow with Reason and esy☆16Dec 11, 2022Updated 3 years ago
- An Erlang Tuple Space implementation☆10Nov 22, 2025Updated 3 months ago
- An idiomatic ReasonML port of Polished library - to be used in a ReScript project or alike☆11Aug 28, 2024Updated last year
- Phoenix (Elixir) like channels for Dream (Ocaml)☆15Jul 20, 2021Updated 4 years ago
- erlqueue is a multiple writer, multiple reader bounded shared memory lock-free queue API for Erlang (through NIF) and C/C++.☆10Sep 14, 2016Updated 9 years ago
- A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.☆18Feb 4, 2021Updated 5 years ago
- Project for tracking the work of the Observability Working Group☆65Jan 16, 2022Updated 4 years ago
- Supervised Session Actors☆22Jul 6, 2016Updated 9 years ago
- A lightweight Erlang VM for Android☆33Apr 2, 2020Updated 5 years ago
- Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang☆39Aug 20, 2022Updated 3 years ago
- ☆36Feb 1, 2020Updated 6 years ago
- A WxErlang application to generate slidesets.☆40Oct 4, 2024Updated last year