nix-community / nixops-gceView external linksLinks
NixOps Google Cloud Backend
☆26Aug 2, 2023Updated 2 years ago
Alternatives and similar repositories for nixops-gce
Users that are interested in nixops-gce are comparing it to the libraries listed below
Sorting:
- ☆53Feb 29, 2024Updated last year
- t5adhrit☆18Mar 1, 2022Updated 3 years ago
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆14Apr 19, 2025Updated 9 months ago
- NixOps 2.0 with batteries included.☆35Jan 12, 2023Updated 3 years ago
- Tools to change the formatting of field names in Aeson instances.☆16Mar 28, 2019Updated 6 years ago
- IP Address implementation☆18Mar 6, 2025Updated 11 months ago
- Helpers to connect to SSL/TLS mail servers with HaskellNet☆22Feb 15, 2025Updated last year
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Ledger-cli implementation in Rust☆18Oct 18, 2023Updated 2 years ago
- ☆24Jan 6, 2019Updated 7 years ago
- NixOps libvirtd backend plugin [maintainer=@AmineChikhaoui]☆37Mar 20, 2024Updated last year
- A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew,…☆25Aug 7, 2013Updated 12 years ago
- An example of reflex-dom built by Stack☆23Aug 13, 2016Updated 9 years ago
- Simplifies dealing with different types for strings☆26Mar 7, 2023Updated 2 years ago
- The Haskell File System: A file system implementation in Haskell☆38May 9, 2015Updated 10 years ago
- Making it easy to send SMTP email from Haskell☆75Apr 16, 2024Updated last year
- ☆24Feb 3, 2016Updated 10 years ago
- Override instances used by Haskell's generic derivation☆31Jul 28, 2022Updated 3 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Grow procedual art☆37Mar 25, 2025Updated 10 months ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- ☆11Jan 12, 2020Updated 6 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- ☆36Jun 20, 2021Updated 4 years ago
- A library for disassembling x86-64 binaries.☆44Apr 24, 2025Updated 9 months ago
- Collection of terraform modules☆12May 8, 2021Updated 4 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- The code opts the entire account in to the longer id format for ec2 resources in each region with a single request. It will also print st…☆13Jan 14, 2026Updated last month
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- Always wanted to use Notion as your CMS? Well, now you can!☆10Dec 13, 2021Updated 4 years ago
- ☆17Jan 6, 2024Updated 2 years ago
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- ☆12Jan 7, 2021Updated 5 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- This creates a github issue from an unread email with the specified label.☆12Aug 15, 2023Updated 2 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Updated this week
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- this is a Manual Named-Entities/Part-of-speech Tagger for Spacy, You can use it to create your own training datasets.☆12Jun 16, 2018Updated 7 years ago