Abstract Machines

Repositories

• caramel

  🍬 An Erlang backend to the OCaml compiler

  typechecker erlang compiler ocaml code-generation
  OCaml BSD-3-Clause 0 243 0 0 Updated Oct 1, 2020

• crane

  🏗️ a build system for the BEAM

  beam elixir-lang erlang-vm erlang-otp build-systems
  Rust BSD-3-Clause 0 8 1 0 Updated Sep 28, 2020

• hotstuff

  🔥 Composable, incremental, turnkey document compiler

  static-site-generator native incremental no-nonsense composable turnkey blazingly-fast
  1 package Rust MIT 0 15 0 0 Updated Aug 7, 2020

• abstractmachines.dev

  Abstract Machines Website
  HTML 0 0 0 0 Updated Aug 7, 2020

• dota-ontology

  a Dota 2 Ontology

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