L4ES logo

L4ES

verifiable Linux microVMs powered by seL4

All:
Show Hn
Share on:

Linux sandboxes you can verify. Every L4ES sandbox is a Linux microVM with its own kernel, running on an seL4-based hypervisor. Connect with plain ssh.

L4ES · Linux sandboxes you can verify

Related listings

Ren logo

Heads Up

a Mac menu bar app for meetings

Ren logo

Koala

Run AI Agents in Isolated Linux VMs on macOS

Ren logo

Drop

Searching for optimal strategies in a puzzle game with chance (Drop7)

Ren logo

Frametide

a Gaming optimizer that measures instead of promising FPS

Ren logo

Instant

Local AI search with a 95% hit rate (uses Perplexity models)

Ren logo

Wonkygo

Build a wonky machine, a pixel-art physics puzzle