Abstract Machines

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

tree-sitter-erlang
Tree-sitter Grammar for Erlang

C 18 Apache-2.0 7 0 0 Updated Aug 3, 2021
erlt
Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.

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

OCaml 864 Apache-2.0 21 19 (1 issue needs help) 6 Updated May 4, 2021
mix_caramel
🍬 A Mix plugin to use Caramel

Elixir 16 Apache-2.0 3 2 (1 issue needs help) 0 Updated May 4, 2021
abstractmachines.dev
Abstract Machines Website

HTML 0 0 0 0 Updated Mar 11, 2021
lam
🚀 a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly

Rust 197 Apache-2.0 6 6 0 Updated Mar 7, 2021
zap
⚡ simple, fast, and correct build system for modern polyglot teams

Rust 79 Apache-2.0 1 3 0 Updated Feb 8, 2021
rebar3_caramel
🍬 Rebar3 Plugin for Caramel

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

C 1 Apache-2.0 0 0 0 Updated Jan 19, 2021
caramel.abstractmachines.dev
Redirect repo for the new domain

HTML 0 0 0 0 Updated Jan 11, 2021

Pinned