NixOS on Xilinx Zynq and ZynqMP
☆60May 9, 2026Updated 3 months ago
Alternatives and similar repositories for nixos-xlnx
Users that are interested in nixos-xlnx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆27Jan 16, 2022Updated 4 years ago
- Naive implementation of Profunctor Optics in Nix☆19Jan 23, 2026Updated 6 months ago
- Nix template for the chisel-based industrial designing flows.☆58Jul 21, 2026Updated 3 weeks ago
- A package and module for using GNU Guix on Nix(OS).☆46Dec 4, 2023Updated 2 years ago
- experimental nix prelude☆29Apr 19, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 🖼 markdown slideshows in rust☆18Oct 18, 2023Updated 2 years ago
- Tooling to use the Pynq Board somewhat nicely☆13Dec 5, 2022Updated 3 years ago
- Providing reproducible HTTP/HTTPS responders to builds that just can not live without☆127Feb 29, 2024Updated 2 years ago
- ☆17May 31, 2022Updated 4 years ago
- Update Nix Flake package sources.☆47May 25, 2024Updated 2 years ago
- The Scala parser to parse riscv/riscv-opcodes generate☆26Jan 21, 2026Updated 6 months ago
- The customizable embedded Linux using Nix.☆70Dec 29, 2022Updated 3 years ago
- Flake for building Buildroot using nix☆21Feb 7, 2026Updated 6 months ago
- Generate sandbox buildable Nix expression from Mix lock file☆12Dec 19, 2025Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Implementation of RFC-0125's datatype and synthesis tooling.☆29Updated this week
- Software distribution system for projects funded via Next Generation Internet (NGI)☆21Updated this week
- ☆16Jul 16, 2026Updated 3 weeks ago
- ☆44Feb 17, 2023Updated 3 years ago
- Open-Source Infrastructure as Code Management Solution for Multiple Systems designed to be reliable in mission-critical tasks on paranoid…☆47Aug 3, 2026Updated last week
- An experiment in improving node packaging for nix. Dead simple.☆43Sep 4, 2024Updated last year
- Add specified programs (apps) on PATH.☆20Aug 26, 2025Updated 11 months ago
- Hover - Temporary home directories☆15Nov 5, 2023Updated 2 years ago
- A Nix web bundler because why not☆56Mar 10, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- wisckey implementation using RocksDB☆12Jan 14, 2023Updated 3 years ago
- builtins.getFlake without the restrictions☆28Jul 17, 2026Updated 3 weeks ago
- A self-hostable, distributed Nix binary cache server with flexible storage strategies☆33Mar 11, 2026Updated 5 months ago
- linux kernel overlay☆11Updated this week
- ☆24Apr 8, 2026Updated 4 months ago
- Like curl, but it gets past Anubis and Cloudflare bot-walls.☆29Jul 9, 2026Updated last month
- A collection of tools for tracking planes/helicopters/UFOs/whatever with ADS-B. Packaged for NixOS with packages and modules☆23Jun 11, 2025Updated last year
- Simplify Nix source management using familiar glob patterns☆81Aug 25, 2025Updated 11 months ago
- Demo of deploying kumomta on Kubernetes using helm☆13Apr 2, 2025Updated last year
- 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.
- Futhark integration for Rust projects☆16Sep 12, 2025Updated 11 months ago
- cursed☆14Mar 19, 2023Updated 3 years ago
- IOC Builder for EPICS and Kubernetes☆13Aug 4, 2026Updated last week
- decentralized web search engine, web archive and feed reader☆14Jul 21, 2025Updated last year
- Who needs NAR files anyways?☆33Oct 31, 2024Updated last year
- ☆23May 30, 2026Updated 2 months ago
- A Simple TFTP Server for PXE Booting☆59Nov 17, 2024Updated last year