Explore projects

An implementation of an osiris machine. This is the host project of experimentations.

The base types managed by an osiris virtual machine.

The core of an osiris virtual machine. This project defines the operation and the processor structures.

An osiris machine instructions set.

A type-system library to create typed virtual machines.