HDL development environment on Nix.
☆26Oct 23, 2024Updated 2 years ago
Alternatives and similar repositories for hdx
Users that are interested in hdx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Yosys pass and technology library + scripts for implementing a HDL design in discretie FETs for layout in KiCad☆15Jan 15, 2024Updated 2 years ago
- nix-community reference documentation (until officially released) [maintainer=@hsjobeki]☆25Jun 29, 2024Updated 2 years ago
- anticanonicalize is a tool which runs a command with the current working directory set to an "unreachable" version of the directory.☆16Feb 21, 2026Updated 8 months ago
- batch eval tool for machine code. eval() but for asm.☆12Dec 31, 2022Updated 3 years ago
- cursed☆14Mar 19, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Nix DSL that compiles to Lua☆29May 19, 2026Updated 5 months ago
- ☆16Jun 13, 2021Updated 5 years ago
- HTTP Request & Response Service pretty like [httpbin](http://httpbin.org) but powered by Rust☆16Oct 26, 2026Updated last week
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Jul 7, 2022Updated 4 years ago
- Experiments with Yosys cxxrtl backend☆49Jan 16, 2025Updated last year
- ☆15Sep 13, 2024Updated 2 years ago
- The customizable embedded Linux using Nix.☆71Dec 29, 2022Updated 3 years ago
- Kicad Library to pretify your schematic with pride flags.☆16Nov 13, 2022Updated 3 years ago
- A Binary Ninja plugin providing a set of BinaryViews for loading Motorola SREC, Intel HEX, and TI-TXT "hex" files☆10Sep 5, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆24Feb 4, 2025Updated last year
- ☆11Nov 21, 2021Updated 4 years ago
- Very tiny embeddable Tcl-like language in safe Rust☆12Feb 13, 2025Updated last year
- Set the minimum alignments of types using const generics.☆18Oct 17, 2024Updated 2 years ago
- The gateware and firmware for girlvoice, the real-time FPGA vocoder☆58Oct 23, 2026Updated last week
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- Userscript that introduces some user experience enhancements to the Nixpkgs and the NixOS manuals☆14Oct 16, 2023Updated 3 years ago
- Notes on/tools for/new firmware for (?) a PDC002 USB PD cable☆17Apr 8, 2021Updated 5 years ago
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Generate declarative jobsets for a project's GitHub repository.☆12Mar 19, 2025Updated last year
- Wraps cargo to move target directories to a central location [super experimental]☆30Oct 6, 2026Updated 3 weeks ago
- ☆17Aug 16, 2023Updated 3 years ago
- A kexec-based bootloader☆29Oct 12, 2026Updated 3 weeks ago
- A Gerrit CLI☆23Oct 8, 2026Updated 3 weeks ago
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 years ago
- Open source hardware down to the chip level!☆30Sep 24, 2021Updated 5 years ago
- A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP☆221Sep 19, 2025Updated last year
- ☆14May 15, 2021Updated 5 years ago
- 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.
- a metaprogramming language that compiles from types☆10Jun 26, 2024Updated 2 years ago
- Generate compile_commands.json from a build log with compiler invocations☆13Oct 28, 2025Updated last year
- ☆50Jul 22, 2025Updated last year
- A Nix web bundler because why not☆56Mar 10, 2024Updated 2 years ago
- Cuter Nix logo (SVG)☆30Oct 26, 2022Updated 4 years ago
- emu293 SPG293 emulator and associated tooling☆13Sep 27, 2026Updated last month
- (migrated to https://codeberg.org/shiz/img4) various low-level Apple data structure tools☆16Jan 18, 2021Updated 5 years ago