Nautilus Aerokernel

🧪 | LLVM backend for HVM

BYD HVS Battery Adapter for ioBroker

A simple MLP written in the recently released Bend programming language.

HVM backend for Idris 2 (lazy)

Linux port of a runtime system for managing hybrid virtual machines (HVMs) on top of QEMU/KVM

A streamlined Packer automation pipeline that builds VM templates across multiple hypervisors (currently KVM and VMware) with GitHub Actions doing the heavy lifting.

Plugins for SmartHomeNG - The device integration platform for your smart home

🔍 Explore HVM, a Zig implementation inspired by HVM4 for studying higher-order virtual machines and advanced type systems in a configurable runtime environment.

A POC for bend programming language.