My NixOS configuration files
☆14Apr 7, 2018Updated 8 years ago
Alternatives and similar repositories for nixos-config
Users that are interested in nixos-config are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆21Jan 31, 2022Updated 4 years ago
- ☆17Apr 13, 2023Updated 3 years ago
- Date/Time distance helpers: time ago, less than 5 minutes, about 1 month...☆13Mar 13, 2019Updated 7 years ago
- On-demand provisioning tool for Hydra☆30Apr 25, 2019Updated 7 years ago
- Arcan Workbench, Desktop- like script for Arcan [INACTIVE]☆10Jul 1, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Compute the timezone of latitude/longitude pairs.☆10Dec 17, 2021Updated 4 years ago
- Literally just my "dotfiles" (except most don't even have dots in front of them). Not interesting, but 'kay.☆28Mar 18, 2021Updated 5 years ago
- A dictionary app sits in your CLI environment☆12Dec 8, 2022Updated 3 years ago
- My nixos configuration☆14Jan 22, 2022Updated 4 years ago
- A set of letter case helpers for Rust strings☆16May 17, 2021Updated 5 years ago
- All the things rumbling around in the collective brain of the We Are Open Coop☆13Jan 22, 2026Updated 4 months ago
- The Simple Switch Cases Configuration PreProcessor☆12Mar 4, 2020Updated 6 years ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- An Android kernel for kindle kt3☆13Jul 19, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Understanding CoAP with Packet Captures.☆15Jun 27, 2023Updated 2 years ago
- DTLS standalone stack for Erlang R17☆13Jul 22, 2021Updated 4 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Peer-to-peer Git Portal in Svelte, Rust/WASI on WasmerJS☆16Mar 5, 2021Updated 5 years ago
- A new place for a fork of a compositor for X11☆19Mar 4, 2022Updated 4 years ago
- Rust API / cxx bindings for libtorrent☆17Jun 3, 2022Updated 4 years ago
- Async Hyper wrapper for Twilio API☆17Nov 14, 2021Updated 4 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 12 years ago
- Command-line tool for tracking your day-to-day software development work☆18May 8, 2022Updated 4 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.
- A very simple ipfwGUI for FreeBSD☆13Sep 16, 2025Updated 9 months ago
- Custom shaders for hydra.☆12Jun 5, 2026Updated last week
- ☆35Apr 18, 2023Updated 3 years ago
- FoldMap lists☆12Mar 29, 2023Updated 3 years ago
- This repository is a collection of assets and scripts used in the creation of Rolling Rhino Remix (Ubuntu Desktop Edition). We have a ful…☆17Aug 7, 2022Updated 3 years ago
- ☆19Apr 28, 2024Updated 2 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Sep 10, 2015Updated 10 years ago
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- A minimal system managed by policy daemons with configuration being arbitrary code☆35Jan 23, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- A clean rewrite of the Filer file manager for helloSystem, inspired by John Siracusa's descriptions of "Spatial Orientation"☆13Oct 2, 2024Updated last year
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- My Nix and Emacs setup using org-babel☆40Jan 5, 2024Updated 2 years ago
- Trash plugin for SpaceFM, compliant with the FreeDesktop.org Trash specification and supporting multi-core processing.☆15May 20, 2025Updated last year
- MPD client for the Acme text editor☆10Nov 4, 2019Updated 6 years ago
- Yet Another Small Form Factor - Open Source, small, basic, low cost computer case☆10Dec 7, 2017Updated 8 years ago