Lists (25)
Category Theory
Courses
egui
Exa-atow
Famzy
Faust
🔥 nix
FPGA
Hobby
IA
🚀 My stack
Nickel
openscad
OS
oscilloscope
Plotter
Robot
Rust
rust-embedded
SMT-Rust
soft
Synth
T4K
VCV-modular-OSS
veille
Stars
Lightweight SSH load balancer supporting user-specific selection policies
A high-performance and efficient message queue developed in Rust
Alternative to the official AKAI MPKMini MkII Editor
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Export presentation slides in various formats for Touying.
Ease reproducible experiments of distributed systems
ECP5 Development Board in the Raspberry Pi Zero form
🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community. No ads, …
A cyclic pattern abstraction, heavily inspired by TidalCycles.
Brings native understanding of Nix packages to containerd
A comparison of operating systems written in Rust
A self-hostable, distributed Nix binary cache server with flexible storage strategies
Alkali is a MLIR-based compiler infrastructure for SmartNICs. It allows developers to write target-independent programs, with the compiler automatically managing cross-NIC porting and performance o…
Functional Programming course for Telecom Nancy, using Haskell
Lessons and examples for learning NixOS Modules.
Web-based platform for configuring, provisioning, updating, and monitoring (IoT-)devices and systems, powered by NixOS
Touying is a powerful package for creating presentation slides in Typst.
Typst backend for matplotlib (Python visualization library).
An open source graphics editor for 2025: comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural ed…
nFPM is Not FPM - a simple deb, rpm, apk, ipk, and arch linux packager written in Go
Build custom SD images of NixOS for your Raspberry Pi (or any other supported AArch64 device) in 5-20 minutes.
Efficient source archive format with deterministic properties
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.