CI and hosting for nix-based, flakified github repos
☆399Jun 2, 2026Updated last week
Alternatives and similar repositories for garnix-ci
Users that are interested in garnix-ci are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Nix build Scheduler☆11Nov 24, 2025Updated 6 months ago
- Python bindings for evaluating and round‑tripping Nix expressions, powered by [snix_eval] and [PyO3].☆12May 17, 2025Updated last year
- Reference counting with linear types☆32Feb 14, 2026Updated 3 months ago
- A compiled language that is halfway between C and Go/Swift/Rust☆13Jul 7, 2016Updated 9 years ago
- Trace calls in Elixir processes☆41Apr 18, 2026Updated last month
- 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.
- Use the Nix package manager as a library☆58Updated this week
- Fetch derivations from your friends.☆24Dec 14, 2025Updated 5 months ago
- Flake workspace / repo to stage and track Nixpkgs/NixOS's ability to be compiled completely with LLVM☆30Mar 3, 2025Updated last year
- ☆14Dec 26, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- Doom Emacs config works with LSP in Devcontainer☆23Oct 19, 2024Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Dec 12, 2025Updated 5 months ago
- DNS UPDATE/AXFR/NOTIFY to custom DNS API gateway☆31Nov 18, 2025Updated 6 months ago
- Rez is a language, compiler, and runtime for creating interactive fiction games☆18May 8, 2026Updated last month
- 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.
- ☆14Jul 12, 2022Updated 3 years ago
- Declaratively manage keys in hardware tokens, from NixOS.☆57Dec 10, 2025Updated 5 months ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- ☆27Jun 2, 2026Updated last week
- Steve Baker's Tree Command for Linux☆11Jan 12, 2015Updated 11 years ago
- Kafka consumer & producer for scalaz-stream☆12Dec 15, 2017Updated 8 years ago
- Mesh network sidecars for NixOS Services☆49Oct 2, 2025Updated 8 months ago
- Libraries and server implementation for the game Minecraft☆14Jul 9, 2024Updated last year
- utilities to build production command line apps☆22Sep 29, 2016Updated 9 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.
- Transform any binary file to a PNG image☆13Jul 19, 2019Updated 6 years ago
- Library for reading and writing Macintosh HFS volumes☆58Jun 22, 2023Updated 2 years ago
- Haskell 'go to (non-local) definitions' extension☆16Feb 10, 2024Updated 2 years ago
- Very informative, enlightening and pleasantly formatted errors for Go☆20Feb 20, 2020Updated 6 years ago
- STLC-related snippets in Agda☆16May 1, 2013Updated 13 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 4 years ago
- Documentation regarding generating and debugging movement map (pathfinding) data for custom maps in WoW.☆18Aug 2, 2024Updated last year
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 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.
- How to read Lean☆28Jan 30, 2025Updated last year
- demo projects for maven tutorials☆11Oct 9, 2014Updated 11 years ago
- An interface for Etherpad-Lite's HTTP API written in Go.☆12Apr 19, 2020Updated 6 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆10Nov 6, 2018Updated 7 years ago
- Snake game, made with haskell-miso☆13Jan 7, 2018Updated 8 years ago
- ☆20Jun 1, 2024Updated 2 years ago
- Simple broadcasting mechanism using go channels☆11Nov 2, 2019Updated 6 years ago