Web framework for Zig that leverages dependency injection for clean, modular application development.

Writing a hypervisor in 1,000 lines.

plakar is a backup solution powered by Kloset and ptar

sandboxing and containment tool used in ChromeOS and Android

Bake microVMs into standalone executables

OpenTelemetry Collector

Developer-friendly, embedded retrieval engine for multimodal AI. Search More; Manage Less.

OpenSOHO is an OpenWISP alternative built to manage a small number OpenWRT based network devices.

💫 Toolkit to help you get started with Spec-Driven Development

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

Official Elixir Language Server Protocol implementation

A sub-micrometer 3D motion control plattform.

There is hardly any theory which is more elementary than linear algebra, in spite of the fact that generations of professors and textbook writers have obscured its simplicity by preposterous calcul…

A ssh server that knows who you are. $ ssh whoami.filippo.io

🧠 Cognitive Load is what matters

A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.

A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.

a git alternative written in zig

A compile-time logic programming system(microKanren) using TypeScript's type system, featuring unification, substitution, and goal evaluation.

F3 - Fight Flash Fraud

Serve a static website from a tar file

The necessary building blocks to develop LSP implementations in Zig.

Implementation of the Cedar Policy Language

An interactive Datalog

Cross platform input simulation in Rust

mal - Make a Lisp

The Naiad system provides fast incremental and iterative computation for data-parallel workloads