Abstract Machines

@ostera is building languages and software tools to think clearly.

Stockholm, Sweden
https://abstractmachines.dev
@leostera
hej@abstractmachines.dev
Verified
We've verified that the organization AbstractMachinesLab controls the domain:
- abstractmachines.dev
Learn more about verified organizations

Pinned

caramel Public

🍬 a functional language for building type-safe, scalable, and maintainable applications

OCaml 917 22
zap Public

⚡ simple, fast, and correct build system for modern polyglot teams

Rust 83 2
lam Public

🚀 a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly

Rust 213 10

zap Public
⚡ simple, fast, and correct build system for modern polyglot teams

Rust 83 Apache-2.0 2 3 0 Updated Jan 18, 2022
tree-sitter-erlang Public
Tree-sitter Grammar for Erlang

C 21 Apache-2.0 10 0 1 Updated Jan 8, 2022
abstractmachines.dev Public
Abstract Machines Website

HTML 0 0 0 0 Updated Nov 15, 2021
mix_caramel Public
🍬 A Mix plugin to use Caramel

Elixir 16 Apache-2.0 4 2 (1 issue needs help) 1 Updated Oct 24, 2021
rescript-syntax Public
ReScript's syntax as a standalone repo.

OCaml 0 MIT 19 0 0 Updated Sep 6, 2021
erlt Public
Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.

Erlang 0 Apache-2.0 12 0 0 Updated May 14, 2021
caramel Public
🍬 a functional language for building type-safe, scalable, and maintainable applications

OCaml 917 Apache-2.0 22 20 (1 issue needs help) 0 Updated May 4, 2021
lam Public
🚀 a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly

Rust 213 Apache-2.0 10 6 0 Updated Mar 7, 2021
rebar3_caramel Public
🍬 Rebar3 Plugin for Caramel

Erlang 4 Apache-2.0 0 0 0 Updated Jan 30, 2021
ocaml-tree-sitter Public

C 1 Apache-2.0 0 0 0 Updated Jan 19, 2021