A repo for my nixos configuration files
☆21Sep 25, 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:
- nixos based linux operating system for software development☆25Nov 13, 2022Updated 3 years ago
- FIX (Foreign Information Exchange) protocol implementation for Erlang☆11Dec 16, 2017Updated 8 years ago
- ☆10Dec 16, 2020Updated 5 years ago
- 4th Year MSci Dissertation☆11Oct 3, 2022Updated 3 years ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 9 years 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.
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- ☆18Jul 1, 2026Updated 2 months ago
- traverse erlang ast and elixir macro in erlang.☆16Sep 7, 2026Updated 3 weeks ago
- A servant client written for GHCJS☆12Dec 6, 2016Updated 9 years ago
- automatic deploy from github to server☆15Mar 1, 2013Updated 13 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
- Julia interface for SpaCy NLP library☆14Apr 22, 2018Updated 8 years ago
- Scripts to open new windows in sway using alternating layouts (splith/splitv) for each new window☆19Jul 18, 2024Updated 2 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.
- Erlang performance and debugging tools☆18Jan 28, 2019Updated 7 years ago
- Source files for the NitrogenProject.com website.☆16May 5, 2026Updated 4 months ago
- A collection of formatters and backends for lager that have no external dependencies.☆21Jun 27, 2013Updated 13 years ago
- hasklig-mode.el - Hasklig ligatures for emacs☆42Jan 1, 2026Updated 8 months ago
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 4 years ago
- ☆10Jan 5, 2023Updated 3 years ago
- Fast performance metrics for Erlang☆21Oct 5, 2016Updated 9 years ago
- ☆16Sep 4, 2025Updated last year
- My personal declarative macOS machine configuration☆22Oct 1, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An Atari VCS 2600 emulator written in Haskell☆18Feb 16, 2022Updated 4 years ago
- A sample Rust+Nix project for a blogpost☆29Mar 15, 2020Updated 6 years ago
- high-resolution performance benchmarking☆26Jul 29, 2026Updated last month
- swaywsr is a small program that uses Sway's IPC Interface to change the name of a workspace based on its contents.☆36Sep 18, 2026Updated last week
- ☆23Dec 7, 2021Updated 4 years ago
- Master config for Polycom VVX & Trio device families☆21Jan 8, 2020Updated 6 years ago
- An Eventual Leader Election Library for Erlang☆36Sep 24, 2020Updated 6 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- mochiweb adapter for cowboy.☆30Jun 20, 2016Updated 10 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 6 years ago
- My user setup for [NixOS](nixos.org) Desktops.☆19Apr 10, 2021Updated 5 years ago
- nix value introspection - made easy☆12Apr 21, 2024Updated 2 years ago
- Ansible Role for setting up Wildcard certs with certbot and Cloudflare dns plugin☆20Apr 6, 2020Updated 6 years ago
- skeleton for thrift services in erlang☆29Mar 24, 2010Updated 16 years ago
- Clojure interpreter that does not support alphanumerics.☆12Apr 1, 2015Updated 11 years ago