My personal Nix infrastructure.
☆20Jan 8, 2023Updated 3 years ago
Alternatives and similar repositories for nix-configs
Users that are interested in nix-configs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A NixOps plugin supporting Hetzner Cloud deployments.☆28Feb 19, 2023Updated 3 years ago
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- Nix Android build tests☆35Mar 22, 2020Updated 6 years ago
- Composer plugin to help with Nix packaging☆17May 20, 2022Updated 4 years ago
- The source code of my blog☆20Updated this week
- 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.
- selectize-like dropdown menu with autocompletion in elm☆29Sep 17, 2018Updated 8 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 Transient Designer plugin☆11Nov 20, 2020Updated 5 years ago
- ☆16May 5, 2022Updated 4 years ago
- Rebar3 plugin to interact with Nix ecosystem☆14Jan 11, 2022Updated 4 years ago
- MarkLogic XCC in Clojure☆15May 28, 2019Updated 7 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- embed haskell diagrams in emacs org-mode files☆10Apr 7, 2016Updated 10 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.
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 8 years ago
- Home manager module for themeing programs with base16 templates☆24Sep 4, 2020Updated 6 years ago
- WAI Request Throttling Middleware☆17Oct 11, 2024Updated last year
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 10 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- HTTP proxy for authenticating users via OAuth2☆10Sep 6, 2019Updated 7 years ago
- A neovim plugin to help edit and maintain a nix home-manager configuration☆32May 10, 2022Updated 4 years ago
- NixOps 2.0 with batteries included.☆35Jan 12, 2023Updated 3 years ago
- ☆12Jul 15, 2024Updated 2 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.
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- A simple demo of Nixifying a multi-package Haskell project☆20Oct 24, 2025Updated 10 months ago
- ☆12Aug 19, 2018Updated 8 years ago
- Plugin Opcode SDK☆11Sep 23, 2024Updated last year
- learn llvm from scratch☆14Apr 29, 2023Updated 3 years ago
- Faust major mode for editing faust code (.dsp files)☆16Oct 4, 2020Updated 5 years ago
- An expression to build Pandoc documents with Nix☆18Jul 24, 2023Updated 3 years ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- This is example for server with graphql and db on rust language☆20Mar 16, 2021Updated 5 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.
- Company Nix expressions.☆57Aug 3, 2023Updated 3 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 5 years ago
- A simple RDAP library and command-line tool to check domain name availability in bulk. https://deno.land/x/rdapcheck☆15Feb 24, 2022Updated 4 years ago
- Your personal chat butler☆18Dec 26, 2022Updated 3 years ago
- Safe, checked exceptions☆13Sep 30, 2018Updated 7 years ago
- Various cabal query commands wrapped in a simple CLI tool☆18Nov 24, 2017Updated 8 years ago
- An opiniated color palette.☆11Mar 25, 2020Updated 6 years ago