RageTrade / arb-os

ArbOS operating system, to run at Layer 2 on Arbitrum chains. Also a compiler for Mini, the language in which ArbOS is written.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ArbOS and Mini compiler

ArbOS is the "operating system" that runs at Layer 2 on an Arbitrum chain, to manage the chain's operation, maintain security, isolate contracts from each other, manage contract lifecycles, and account for and charge for resource usage.

ArbOS is written in the Mini language. The Mini compiler is also in this repo. It compiles programs written in Mini, generating code to run on the Arbitrum Virtual Machine. The compiler is accompanied by an AVM emulator, with associated debugger and profiler.

To build and test everything, do make clean then make.

About

ArbOS operating system, to run at Layer 2 on Arbitrum chains. Also a compiler for Mini, the language in which ArbOS is written.


Languages

Language:Rust 95.9%Language:Solidity 3.2%Language:Makefile 0.7%Language:JavaScript 0.1%Language:Shell 0.1%