Sécurix is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven conf…

Lean 4 programming language and theorem prover

Utility to execute a command as another user

RTSP to websocket proxy rendering using webcodec

Truly independent web browser

C/C++ WebRTC network library featuring Data Channels, Media Transport, and WebSockets

CUDA on non-NVIDIA GPUs

Windows Subsystem for Linux

RTSP to websocket/webtransport proxy rendering using webcodec

Effortlessly migrate GitHub repositories to Codeberg! Seamlessly transfer project. Powered by Bash, curl, and jq.

The HTML5 Creation Engine: Create beautiful digital content with the fastest, most flexible 2D WebGL renderer.

Kubernetes Native Edge Computing Framework (project under CNCF)

Writing an OS in Rust

QUIC, a multiplexed stream transport over UDP

LLM inference in C/C++

Master programming by recreating your favorite technologies from scratch.

Docker implemented in around 100 lines of bash

High-level RTSP multimedia streaming library, in Rust

Onvif Device Manager for Linux

The CORE-V CVA6 is a highly configurable, 6-stage RISC-V core for both application and embedded applications. Application class configurations are capable of booting Linux.

Sudo for Windows

Code examples that accompany the MDN Web Docs pages relating to Web Audio.

It's sudo, for Windows

Fullstack app framework for web, desktop, and mobile.

Ultimate camera streaming application

StyleGAN - Official TensorFlow Implementation

Official inference library for Mistral models

📚 Community guides for open source creators

Coral issue tracker (and legacy Edge TPU API source)