Fetch and automatically update nix derivation sources
☆10Sep 3, 2024Updated 2 years ago
Alternatives and similar repositories for nix-update-source
Users that are interested in nix-update-source are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- nixpkgs development utility☆22Oct 13, 2019Updated 7 years ago
- [WIP] Nix overlay for making programs xdg compliant☆22Dec 1, 2017Updated 8 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆30Apr 17, 2016Updated 10 years ago
- A code collaboration tool based on the language server protocol☆16May 8, 2025Updated last year
- COVID-19 data modelling project☆12Apr 24, 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.
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated 2 years ago
- I love keyboard shortcuts, what I don't love is when they conflict between apps/OSes, this is my attempt to fix that.☆11Oct 14, 2015Updated 11 years ago
- Code to accompany Astro articles.☆16Aug 12, 2025Updated last year
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 6 years ago
- A package and module for using GNU Guix on Nix(OS). Kinda more a code dump than for actual use. See fork☆15May 13, 2020Updated 6 years ago
- A shebang for running scripts inside nix-shell with defined dependencies☆28Mar 23, 2020Updated 6 years ago
- Provides custom Javascript evaluation contexts and the Svelte Compiler as Svelte Stores, for REPLs, IDEs, etc.☆21Mar 7, 2022Updated 4 years ago
- Simple modal text editor in Elm☆11May 21, 2015Updated 11 years ago
- NixOS configuration for various machines.☆13Apr 2, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Website for https://vanjs.org/.☆21Jul 16, 2026Updated 3 months ago
- This project is a conversion of the source code from VHDL BY EXAMPLE by Blaine C. Readler, and some slightly modfied examples from the C…☆11Sep 4, 2017Updated 9 years ago
- ☆21Updated this week
- A guided workshop through implementing the realworld demo app in obelisk.☆14Mar 25, 2020Updated 6 years ago
- A helper script / git extension for cataloguing computation results☆14Mar 15, 2021Updated 5 years ago
- NixOS storage manager/partitioner☆37May 15, 2018Updated 8 years ago
- RISC-V Specification in Coq☆13Sep 17, 2018Updated 8 years ago
- Realise Nix derivations on demand.☆15Feb 10, 2025Updated last year
- Nix-based configuration for my machines☆24Updated this week
- 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.
- This repository has been moved to https://gitlab.com/twittner/cql-io☆13Feb 20, 2016Updated 10 years ago
- Elm library to detect collision of geometry in coordinate space, AKA: are objects touching or overlapping?☆12Mar 16, 2022Updated 4 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 4 years ago
- Utilities for working with user configurations in Nix.☆107Jun 10, 2017Updated 9 years ago
- Haskell Makefile parser☆13Nov 14, 2025Updated 11 months ago
- Serve your /nix/store directory over the internet☆94Feb 9, 2022Updated 4 years ago
- Foundational Verification of Hybrid Systems☆15Mar 23, 2017Updated 9 years ago
- A Haskell implementation of 2048 with Reflex.☆13Oct 1, 2017Updated 9 years ago
- Flexible generation of identicons in Haskell☆17Aug 2, 2026Updated 2 months 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.
- SSD1309 driver for use with embedded_hal and (optionally) embedded_graphics☆14May 7, 2024Updated 2 years ago
- life is too short for hassling over re-inventing CAN wheels (literally)☆13Aug 21, 2024Updated 2 years ago
- All Games ever played on the No Name Go Server (First commit contains the original files, later may enhance their compatibility with SGF …☆16Apr 2, 2012Updated 14 years ago
- An FPGA design project by Kais Kudrolli, Sohil Shah, and DongJoon Park for 18-545 at Carnegie Mellon University.☆10Nov 30, 2017Updated 8 years ago
- Neuroevolution of Augmented Topologies (NEAT) -- in Haskell☆12Jun 15, 2017Updated 9 years ago
- A simple github action written in go to retrieve an installation access token for an app installed into an organization.☆16Aug 12, 2026Updated 2 months ago
- Fuzzy string search in Haskell☆14Jan 5, 2024Updated 2 years ago