My customized version of tmux, built with Nix.
☆16Jul 28, 2026Updated last month
Alternatives and similar repositories for tmux
Users that are interested in tmux are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Templates for use with @snowfallorg/lib☆25May 25, 2024Updated 2 years ago
- My flake based NixOS configuration☆16Feb 13, 2026Updated 7 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Minimal PID 1 for initramfs☆19Jan 16, 2025Updated last year
- A dark color scheme for tmux based off the palenight vim color scheme.☆11Apr 27, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Cold storage made easy.☆28May 25, 2024Updated 2 years ago
- A simple template for a NixOS configuration with snowfall, has some basic modules like bios and efi☆42Dec 26, 2024Updated last year
- Simplify Nix Flakes on the command line.☆134Jun 7, 2025Updated last year
- A simple optics library based on existential encoding☆14Apr 28, 2022Updated 4 years ago
- ☆10Jun 30, 2021Updated 5 years ago
- Lan Tian's NixOS Configuration☆135Updated this week
- A tiny command line bookmark manager.☆12Aug 14, 2022Updated 4 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- An example of how to package Coreboot in Nix☆19May 3, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- My keyboard layouts☆18Jun 29, 2026Updated 2 months ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- ☆15Aug 29, 2021Updated 5 years ago
- A Haskell implementation of a C compiler☆12Jun 19, 2021Updated 5 years ago
- Commandline interface to the aria2 download manager☆10Sep 12, 2015Updated 11 years ago
- Flake for multiple NixOS system configurations☆31Updated this week
- Lordly NixOS Configurations☆29Sep 9, 2026Updated 2 weeks ago
- Rust-based linux reverse shell listener.☆12Aug 7, 2024Updated 2 years ago
- A library for benign effects in Haskell☆21May 23, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- WebCord Nix flake☆19Feb 7, 2024Updated 2 years ago
- Simulating Verilog designs on a microcontroller☆14Sep 13, 2022Updated 4 years ago
- Extensible implementation of the RISC-V ISA based on FreeMonads☆20Dec 3, 2025Updated 9 months ago
- ☆21May 22, 2025Updated last year
- Neovim plugin to disable all default keymaps with a single command☆13Jul 3, 2024Updated 2 years ago
- Generates .pyi files from external .so libraries built using pyo3☆16Nov 15, 2024Updated last year
- Calculating and filling the Canadian income tax forms☆18Apr 12, 2026Updated 5 months ago
- ☆24Feb 15, 2013Updated 13 years ago
- Tutorial and example projects for the Arrow MAX1000 FPGA board☆15Sep 13, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- I definitely don't understand the 'dot' concept☆39Updated this week
- A Nix flake providing a Datomic Pro package and NixOS module [maintainer=@Ramblurr]☆21Jul 27, 2026Updated last month
- Full OS in Rust with minimal dependencies☆20Jul 18, 2026Updated 2 months ago
- 🌏 A 4D multimedia experience showcasing the upcoming challenges caused by global warming☆15Oct 20, 2022Updated 3 years ago
- Geodimeter totalstaion toolkit and documentation☆11Jan 27, 2025Updated last year
- My personal NixOS and home-manager configuration☆64Sep 14, 2026Updated last week
- Packaging for Eask CLI☆10Updated this week