Nix modules for interacting with Spanish public administration services [maintainers=@nilp0inter @panchoh @CesarGallego]
☆50Apr 28, 2026Updated this week
Alternatives and similar repositories for autofirma-nix
Users that are interested in autofirma-nix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Natural language hashing library.☆10Nov 24, 2014Updated 11 years ago
- Project Base Directory Specification☆40Feb 17, 2024Updated 2 years ago
- 🚀 Rapid AI-driven prototyping in Python using GPT-3, ChatGPT, and more 🤖. Provide doctests, and let the AI do the rest!☆14Sep 23, 2025Updated 7 months ago
- ☆19Jun 25, 2024Updated last year
- Parasitic Computing Framework☆14Oct 13, 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.
- Visdom Docker☆12Apr 19, 2021Updated 5 years ago
- Zigfetch is a minimal neofetch/fastfetch like system information tool☆40Apr 20, 2026Updated last week
- A dark wallpaper with many NixOS logos☆21Apr 7, 2024Updated 2 years ago
- Actually released!☆10Feb 24, 2021Updated 5 years ago
- ☆18Nov 17, 2020Updated 5 years ago
- Union mount in Haskell, with fsnotify☆12Updated this week
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆20Oct 19, 2025Updated 6 months ago
- a terraform ops tool which is sure to be a flop☆59Mar 11, 2026Updated last month
- ☆12Updated this week
- 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.
- Conflake Config Flakes!☆17Mar 25, 2026Updated last month
- Parse, manipulate, and reconstruct Nix source code with high-level abstractions.☆87Feb 27, 2026Updated 2 months ago
- NixOS profiles for servers [maintainer=@numtide]☆945Updated this week
- Polyaxon Core Client & CLI to streamline MLOps☆19Updated this week
- Zig rewrite and drop-in replacement of poweralertd (https://codeberg.org/mrus/zpoweralertd)☆24Feb 8, 2026Updated 2 months ago
- turtile 🐢 is a simple Wayland compositor written in C, based on wlroots☆15Nov 29, 2024Updated last year
- Organize JavaScript packages with the Nix package manager☆14Dec 31, 2023Updated 2 years ago
- CartPole game by Reinforcement Learning, a journey from training to inference☆25Jan 12, 2026Updated 3 months ago
- Some crazy experiments about using a FPGA to transmit a TV signal old-style☆13Oct 13, 2018Updated 7 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.
- WebExtension providing an org-protocol button for Mozilla Firefox☆19Mar 22, 2021Updated 5 years ago
- Parser for the Nix Expressions Language☆107Nov 25, 2022Updated 3 years ago
- Nix library for authoring documentation☆22Dec 15, 2025Updated 4 months ago
- ☆13Mar 8, 2023Updated 3 years ago
- Generate a set of nix derivations from a mix.lock file.☆38Sep 8, 2025Updated 7 months ago
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆16Updated this week
- ☆11Aug 22, 2022Updated 3 years ago
- Nix Packages collection & NixOS☆41May 14, 2024Updated last year
- Advanced EPUB optimizer: minifies HTML/CSS/JS, compresses and downscales images, subsets fonts, optimizes SVGs, and repackages EPUBs for …☆26Updated 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.
- Manim code for my videos in 2020☆10May 6, 2020Updated 5 years ago
- Writing a program to extract audio from GBA ROMs☆13Mar 26, 2024Updated 2 years ago
- A nix language configuration framework based on POP: Pure Object Prototypes☆14Apr 19, 2026Updated last week
- Run Concourse CI in Docker compose☆10Jan 21, 2017Updated 9 years ago
- An open source, self-hosted backend for collecting logs and metrics from Tailscale clients.☆14Apr 19, 2025Updated last year
- Implementation of RFC-0125's datatype and synthesis tooling.☆29Updated this week
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 5 years ago