My personal Nix infrastructure.
☆19Jan 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 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 3 years ago
- The source code of my blog☆20Apr 1, 2026Updated last week
- selectize-like dropdown menu with autocompletion in elm☆29Sep 17, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆16May 5, 2022Updated 3 years ago
- A Transient Designer plugin☆11Nov 20, 2020Updated 5 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 7 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☆25Sep 4, 2020Updated 5 years ago
- pdf.js custom element for elm☆12May 11, 2022Updated 3 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- WAI Request Throttling Middleware☆17Oct 11, 2024Updated last year
- ☆12Nov 24, 2021Updated 4 years ago
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- HTTP proxy for authenticating users via OAuth2☆10Sep 6, 2019Updated 6 years ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- CLI to take the toil out of software development☆16Jan 7, 2025Updated last year
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- A simple demo of Nixifying a multi-package Haskell project☆20Oct 24, 2025Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- NixOps plugin for Proxmox☆60Oct 11, 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
- An expression to build Pandoc documents with Nix☆18Jul 24, 2023Updated 2 years ago
- ☆12Aug 19, 2018Updated 7 years ago
- learn llvm from scratch☆14Apr 29, 2023Updated 2 years ago
- Safe, checked exceptions☆13Sep 30, 2018Updated 7 years ago
- This is example for server with graphql and db on rust language☆20Mar 16, 2021Updated 5 years ago
- NixOS module for QEMU VM's using a similar interface to nixos-containers.☆41Sep 1, 2019Updated 6 years ago
- Company Nix expressions.☆56Aug 3, 2023Updated 2 years ago
- 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.
- ☆11Aug 1, 2016Updated 9 years ago
- A helper to use remote references from `flake.lock` in stable Nix.☆22Jun 19, 2025Updated 9 months ago
- Your personal chat butler☆18Dec 26, 2022Updated 3 years ago
- API-less Dribbble scraper☆13Mar 6, 2022Updated 4 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 4 years ago
- Experimental Pyodide fork which works in Cloudflare Workers☆16Dec 7, 2022Updated 3 years ago
- 🐙 discover Dicts☆14Jan 25, 2018Updated 8 years ago