A repo for my nixos configuration files
☆21Jul 27, 2026Updated this week
Alternatives and similar repositories for nixos-configuration
Users that are interested in nixos-configuration are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dots for my machine(s)☆19Updated this week
- FIX (Foreign Information Exchange) protocol implementation for Erlang☆11Dec 16, 2017Updated 8 years ago
- ☆10Dec 16, 2020Updated 5 years ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 9 years ago
- My home manager config☆16Jun 30, 2026Updated 3 weeks 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.
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- traverse erlang ast and elixir macro in erlang.☆16Updated this week
- A servant client written for GHCJS☆12Dec 6, 2016Updated 9 years ago
- ☆11Jul 18, 2023Updated 3 years ago
- automatic deploy from github to server☆15Mar 1, 2013Updated 13 years ago
- Collection of dotfiles for my NixOS machine☆14Jul 29, 2019Updated 6 years ago
- Natron build scripts for various distros☆13Jan 29, 2016Updated 10 years ago
- Atomic color scheme for Sublime Text☆10Jun 7, 2017Updated 9 years ago
- An init framework for homelab services.☆12Jan 17, 2020Updated 6 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.
- Scripts to open new windows in sway using alternating layouts (splith/splitv) for each new window☆20Jul 18, 2024Updated 2 years ago
- Keyng Arthur's Keyboard☆10Sep 21, 2023Updated 2 years ago
- Erlang performance and debugging tools☆18Jan 28, 2019Updated 7 years ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Jul 1, 2016Updated 10 years ago
- Source files for the NitrogenProject.com website.☆16May 5, 2026Updated 2 months ago
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 4 years ago
- Backup a Minecraft server using duplicity incremental backup, rsync, and tmux☆17Aug 15, 2022Updated 3 years ago
- A repo of helpful front end development and design links☆18Sep 28, 2017Updated 8 years ago
- ☆14Sep 4, 2025Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- My personal declarative macOS machine configuration☆21Oct 1, 2019Updated 6 years ago
- Template repo for Ema static site generator☆26Mar 21, 2026Updated 4 months ago
- An Atari VCS 2600 emulator written in Haskell☆18Feb 16, 2022Updated 4 years ago
- A simple blog platform for ZeroNet.☆22Mar 25, 2018Updated 8 years ago
- A sample Rust+Nix project for a blogpost☆29Mar 15, 2020Updated 6 years ago
- high-resolution performance benchmarking☆26Jun 16, 2026Updated last month
- Master config for Polycom VVX & Trio device families☆18Jan 8, 2020Updated 6 years ago
- Merciful killer for your Erlang processes☆25Jan 25, 2022Updated 4 years ago
- ☆23Dec 7, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An Eventual Leader Election Library for Erlang☆36Sep 24, 2020Updated 5 years ago
- Integrates orgmode with the GNOME desktop☆25Nov 10, 2016Updated 9 years ago
- Manage SSH public keys stored in ActiveDirectory☆21Feb 7, 2018Updated 8 years ago
- DO NOT USE. WORK IN PROGRESS☆17Oct 4, 2017Updated 8 years ago
- mochiweb adapter for cowboy.☆30Jun 20, 2016Updated 10 years ago
- HackCambridge 2016, 2nd place in Games and VR - A Guitar Hero clone, written in Haskell☆21Jan 31, 2016Updated 10 years ago
- An example of reflex-dom built by Stack☆23Aug 13, 2016Updated 9 years ago