lukaslaobeyer / nix-fpgapkgs

Related projects ⓘ

Alternatives and complementary repositories for nix-fpgapkgs

• gergoerdi / clashilator
  Generate interface between Clash and Verilator
  ☆22Updated 6 months ago
• pl-semiotics / nix-remarkable
  Nix expressions for tools for the reMarkable tablet
  ☆61Updated 3 years ago
• benpye / nix-fpga-tools
  ☆21Updated 2 years ago
• cid-chan / peerix
  Peer2Peer Nix-Binary-Cache
  ☆139Updated 6 months ago
• fzakaria / autopatchelf
  ☆31Updated 3 years ago
• celun / celun
  The customizable embedded Linux using Nix.
  ☆64Updated last year
• timokau / nix-bisect
  Bisect nix builds. Status: alpha/proof of concept. You'll probably have to dig into the implementation if you want to use it. Built for p…
  ☆102Updated 3 months ago
• illegalprime / nixos-on-arm
  Cross Compiling NixOS to ARM as a replacement for Yocto
  ☆141Updated 4 years ago
• chuangzhu / nixos-xlnx
  NixOS on Xilinx Zynq and ZynqMP
  ☆23Updated 3 months ago
• symphorien / nixseparatedebuginfod
  Downloads and provides debug symbols and source code for nix derivations to gdb and other debuginfod-capable debuggers as needed.
  ☆84Updated 3 months ago
• andir / local-nix-cache
  A poor and hacky attempt at re-serving local nix packages that came from trusted sources
  ☆25Updated last year
• thefloweringash / kevin-nix
  NixOS for the Samsung Chromebook Plus (kevin)
  ☆31Updated 3 years ago
• nix-community / nixpkgs-swh
  Send nixpkgs tarballs to Software Heritage [maintainer=@nlewo]
  ☆24Updated last year
• thoughtpolice / clash-playground
  A Clash playground/starter kit, using Nix
  ☆35Updated 5 years ago
• fzakaria / nix-harden-needed
  Bubble up the correct paths to your shared object libraries in Nix
  ☆44Updated 2 years ago
• rgri / tex2nix
  Generate texlive nix expressions for documents
  ☆95Updated 5 months ago
• zhaofengli / nixos-riscv64
  NixOS on the HiFive Unmatched
  ☆93Updated last year
• nix-community / nix-environments
  Repository to maintain out-of-tree shell.nix files (maintainer=@mic92)
  ☆200Updated this week
• Mic92 / nixos-aarch64-images
  Build NixOS images for various ARM single computer boards
  ☆77Updated 2 months ago
• DeterminateSystems / bootspec-secureboot
  ☆89Updated last year
• jonringer / basinix
  (WIP) Nix CI pull request review website
  ☆50Updated 2 weeks ago
• lukebfox / nixops-plugged
  NixOps 2.0 with batteries included.
  ☆36Updated last year
• kamadorueda / nixel
  Parser for the Nix Expressions Language
  ☆84Updated last year
• NixOS / bundlers
  Aggregated bundlers [maintainer=@tomberek, @Artturin]
  ☆99Updated last week
• cleverca22 / nix-tests
  A scratchpad for small experimental things I am doing with Nix.
  ☆108Updated last year
• nix-community / buildbot-nix
  A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]
  ☆114Updated this week
• numtide / nix-gl-host
  Run OpenGL/Cuda programs built with Nix, on all Linux distributions.
  ☆82Updated last month
• jordanisaacs / kernel-module-flake
  Nix flake for linux kernel module development with rust support
  ☆134Updated 6 months ago
• DavHau / systemd2nix
  Convert systemd service files to Nix syntax
  ☆29Updated last year