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
- Nix Android build tests☆35Mar 22, 2020Updated 6 years ago
- The source code of my blog☆20Updated this week
- selectize-like dropdown menu with autocompletion in elm☆29Sep 17, 2018Updated 7 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Transient Designer plugin☆11Nov 20, 2020Updated 5 years ago
- Rebar3 plugin to interact with Nix ecosystem☆14Jan 11, 2022Updated 4 years ago
- Music for Machines. Exploring the smudges of fingerprinting digital music.☆12Aug 10, 2016Updated 9 years ago
- MarkLogic XCC in Clojure☆15May 28, 2019Updated 7 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 10 months ago
- 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
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Home manager module for themeing programs with base16 templates☆24Sep 4, 2020Updated 5 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.
- pdf.js custom element for elm☆12May 11, 2022Updated 4 years ago
- Pure Java (and JavaScript) Halunke☆18Apr 12, 2018Updated 8 years ago
- WAI Request Throttling Middleware☆17Oct 11, 2024Updated last year
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 10 years ago
- ☆12Nov 24, 2021Updated 4 years ago
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- HTTP proxy for authenticating users via OAuth2☆10Sep 6, 2019Updated 6 years ago
- Functional combinators for strategy-based tree-rewriting in Clojure☆15Jul 25, 2013Updated 12 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 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.
- 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
- 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 8 months ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- ☆12Aug 19, 2018Updated 7 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- learn llvm from scratch☆14Apr 29, 2023Updated 3 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.
- 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 2 years ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- Company Nix expressions.☆57Aug 3, 2023Updated 2 years ago
- This is example for server with graphql and db on rust language☆20Mar 16, 2021Updated 5 years ago
- NixOS Build and Deployment Tool with Configuration Sanity Checking Capabilities [maintainer=@tfc]☆13Sep 18, 2025Updated 10 months ago
- An index of CP algorithms and data structures created and maintained by GEMA (WIP)☆13Nov 11, 2025Updated 8 months ago