Kavun is a lightweight, high performance, embeddable scripting language for Go, featuring first-class records, lambda-based pipelines, f-strings, and a sandboxable VM.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Silibox provides seamless Linux development environments on macOS using Lima (Linux on Mac) and Podman containers. Get the power of Linux tooling with the convenience of native macOS integration.