HDL development environment on Nix.
☆26Oct 23, 2024Updated last year
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☆14Jan 15, 2024Updated 2 years ago
- nix-community reference documentation (until officially released) [maintainer=@hsjobeki]☆25Jun 29, 2024Updated last year
- cursed☆14Mar 19, 2023Updated 3 years ago
- HTTP Request & Response Service pretty like [httpbin](http://httpbin.org) but powered by Rust☆17Mar 19, 2026Updated last week
- Kicad Library to pretify your schematic with pride flags.☆16Nov 13, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Jul 7, 2022Updated 3 years ago
- A kexec-based bootloader☆28Mar 2, 2026Updated 3 weeks ago
- memory-mapped registers for x86_64 systems☆37May 18, 2021Updated 4 years ago
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- ☆24Feb 4, 2025Updated last year
- Notes on/tools for/new firmware for (?) a PDC002 USB PD cable☆17Apr 8, 2021Updated 4 years ago
- Userscript that introduces some user experience enhancements to the Nixpkgs and the NixOS manuals☆13Oct 16, 2023Updated 2 years ago
- ☆17Aug 16, 2023Updated 2 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP☆216Sep 19, 2025Updated 6 months ago
- Open source hardware down to the chip level!☆30Sep 24, 2021Updated 4 years ago
- Generate declarative jobsets for a project's GitHub repository.☆13Mar 19, 2025Updated last year
- ☆47Jul 22, 2025Updated 8 months ago
- C++ Unicode library for Array and String, Regexp and PEG parsing, using ref-counted slices with value semantics☆13Dec 29, 2025Updated 2 months ago
- A Nix web bundler because why not☆56Mar 10, 2024Updated 2 years ago
- Cuter Nix logo (SVG)☆29Oct 26, 2022Updated 3 years ago
- a metaprogramming language that compiles from types☆10Jun 26, 2024Updated last year
- Tests to reproduce Nix durablity problems☆12Sep 19, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- IA-64 emulator☆15Aug 13, 2021Updated 4 years ago
- Example to illustrate how to set up incremental Haskell Nix builds☆29Oct 25, 2022Updated 3 years ago
- ☆27Jan 16, 2022Updated 4 years ago
- ☆14Apr 28, 2024Updated last year
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- [MIGRATED to https://codeberg.org/prjunnamed/prjunnamed] End-to-end synthesis and P&R toolchain☆94Mar 12, 2026Updated 2 weeks ago
- A Gerrit CLI☆20Feb 16, 2026Updated last month
- Substitutes a directory elsewhere on macOS by replacing system calls☆21Dec 2, 2025Updated 3 months ago
- ☆15Sep 13, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆18Mar 17, 2026Updated last week
- C library for exposing global menus in Wayland and X11 sessions☆14Sep 27, 2022Updated 3 years ago
- ☆13Feb 4, 2025Updated last year
- nix value introspection - made easy☆12Apr 21, 2024Updated last year
- ☆25Jan 22, 2025Updated last year
- neovim plugin to automate fixing fake TOFU hashes when writing nix derivations☆23Jan 2, 2025Updated last year
- A multi saturation module with voltage controlled wet/dry mix☆19Jan 27, 2024Updated 2 years ago