Abstract Machines

Repositories

• erlt

  Forked from WhatsApp/erlt

  Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
  Erlang Apache-2.0 9 0 0 0 Updated May 14, 2021

• tree-sitter-erlang

  Tree-sitter Grammar for Erlang

  tree-sitter erlang grammar tree-sitter-parser
  C Apache-2.0 6 16 3 1 Updated May 7, 2021

• caramel

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

  erlang elixir compiler ocaml type-safe functional-language caramel
  OCaml Apache-2.0 22 846 19 (1 issue needs help) 6 Updated May 4, 2021

• mix_caramel

  🍬 A Mix plugin to use Caramel
  Elixir Apache-2.0 3 16 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

  vm erlang elixir native beam virtual-machine actor-model
  Rust Apache-2.0 6 190 6 0 Updated Mar 7, 2021

• zap

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

  erlang elixir monorepo polyglot build-systems
  Rust Apache-2.0 1 75 3 0 Updated Feb 8, 2021

• rebar3_caramel

  🍬 Rebar3 Plugin for Caramel
  Erlang Apache-2.0 0 4 0 0 Updated Jan 30, 2021

• ocaml-tree-sitter
  C Apache-2.0 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

• tree-sitter-sexp

  Tree sitter grammar for S-expressions
  Common Lisp Apache-2.0 0 4 0 0 Updated Dec 5, 2020

• .github

  Organization-wide GitHub settings
  0 0 0 0 Updated Dec 3, 2020

• ocaml

  Forked from ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries
  OCaml 789 0 0 0 Updated Nov 6, 2020

• hotstuff

  🔥 Composable, incremental, turnkey document compiler

  static-site-generator native incremental no-nonsense composable turnkey blazingly-fast
  Rust MIT 1 19 0 0 Updated Nov 6, 2020

• opam-repository

  Forked from ocaml/opam-repository

  Main public package repository for opam, the source package manager of OCaml.
  Shell 823 0 0 0 Updated Nov 2, 2020

• opam

  Forked from ocaml/opam

  opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
  OCaml 293 0 0 0 Updated Oct 30, 2020

• dota-ontology

  a Dota 2 Ontology

  ontology dota2 knowledge-base
  0 3 0 0 Updated Aug 1, 2020