TravisWhitaker / nix-quartusLinks
Nix Expressions for Altera(Intel) Quartus
☆16Updated 4 years ago
Alternatives and similar repositories for nix-quartus
Users that are interested in nix-quartus are comparing it to the libraries listed below
Sorting:
- NixOS on the HiFive Unmatched☆99Updated 2 years ago
- ☆42Updated 5 months ago
- ☆39Updated 8 months ago
- Nix DSL for nftables☆62Updated 3 months ago
- An operating system generator, based on nixos, focused on installation☆51Updated last year
- ☆54Updated 2 years ago
- Autopatching binary packages to make them work with Nix☆48Updated 3 years ago
- The customizable embedded Linux using Nix.☆66Updated 2 years ago
- A function for fetching the crates listed in a Cargo lock file☆51Updated 3 years ago
- Nix package set library☆57Updated last month
- ☆78Updated 3 weeks ago
- Bubble up the correct paths to your shared object libraries in Nix☆49Updated 2 years ago
- [alpha] Build Rust crates with Nix Build System.☆168Updated last month
- NixOS on Xilinx Zynq and ZynqMP☆32Updated 3 weeks ago
- UTF-8 support for Nix☆57Updated last year
- A Nix library to download files from the internet without requiring a hash☆124Updated last year
- Send nixpkgs tarballs to Software Heritage [maintainer=@nlewo]☆32Updated 4 months ago
- nixos is an experimental modern replacement for nixos-rebuild☆23Updated last year
- Fine-grained Haskell builds with Nix's dynamic derivations☆39Updated last month
- Cross-compile to Redox using Nix [maintainer=@aaronjanse]☆58Updated 4 years ago
- cursed☆13Updated 2 years ago
- Nix overlay for Lean 4, and lake2nix☆47Updated last week
- Nix RFC draft on evaluation purity and caching builtins☆15Updated last year
- An ssh server that creates new users on-the-fly, great for letting users participate in a demo☆17Updated last year
- A collection of all the content from NixCon Paris 2022 and beyond☆53Updated last year
- ☆15Updated 3 weeks ago
- A thorough specification and conformance suite for builtins.fetchTree and lock file items [maintainer=@roberth,@flokli,@lf-]☆16Updated 8 months ago
- Track your Nix closures over time☆25Updated this week
- The correct way to use Nix flakes☆34Updated 2 years ago
- ZilchOS Core, a decidedly tiny Nix-based distro to play with☆79Updated last year