Vigil, the eternal morally vigilant programming language

NixOS MicroVMs

Nice nix expressions for cross-compiling.

A GDB frontend for Lïnux.

Using meet-in-the-middle to solve the Rubik's cube

NixOS on WSL [maintainer=@nzbr]

A linux distribution based on Nix [maintainer=@MagicRB]

SCUDA is a GPU over IP bridge allowing GPUs on remote machines to be attached to CPU-only machines.

Build android apps without any java, entirely in C and Make

Solve puzzles. Learn CUDA.

✉️ Composable all-in-one mail server.

A massively parallel, high-level programming language

NESTang is an FPGA Nintendo Entertainment System implemented with Sipeed Tang Primer 25K, Nano 20K and Primer 20K boards

Kolmogorov Arnold Networks

NVIDIA Linux open GPU with P2P support

A simple, stateless NixOS deployment tool

The rule-based graph programming language GP 2

Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️

Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases

Spawns lightweight nixos vms in a shell

Selfhosted alternative to 12ft.io. and 1ft.io bypass paywalls with a proxy ladder and remove CORS headers from any URL

Windows software for sharing locally connected USB devices to other machines, including Hyper-V guests and WSL 2.

UNMAINTAINED! Please check out active forks

Detects and arranges linux display outputs, using XRandR for detection and xrandr for arrangement.

Arduino and python code for a mini-radio telescope.

a challenge for Haskell beginners

Experimental OS, built with rust

GlazeWM is a tiling window manager for macOS and Windows inspired by i3wm.

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers