Verified Rust for low-level systems code

mjpeg stream access for Bambu P1 printers

A Headless Steam Docker image supporting NVIDIA GPU and accessible via Web UI

Obico is a community-built, open-source smart 3D printing platform used by makers, enthusiasts, and tinkerers around the world.

Your own gaming gear in the Cloud ! 🎮 ⛅

A Rust machine learning framework.

Simplified nix packaging for various programming language ecosystems [maintainer=@DavHau]

RetinaFace: Deep Face Detection Library for Python

Simple customizible startpage in grid layout style ⚒️

How to set up your yubikey

Guide to using YubiKey for GnuPG and SSH

A simple and clean startpage 🌟

Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.

An Emacs configuration bundle with batteries included

Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.

Make your standing desk smarter

Use the same Docker image to cross-compile Rust x86_64/ARM64 programs for Linux and macOS (osxcross).

Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applications – at massive scale.

Typecheck, template and modularize your Kubernetes definitions with Dhall

Rune provides containers to encapsulate and deploy edgeML pipelines and applications

Export an HTML version of org-agenda without opening Emacs

Build Rust projects in Nix - no configuration, no code generation, no IFD, sandbox friendly.

Your project's nix-env

Nix Packages collection & NixOS

Nix, the purely functional package manager

A cat(1) clone with wings.