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☆17May 18, 2026Updated last week
- Kicad Library to pretify your schematic with pride flags.☆16Nov 13, 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.
- 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☆28Apr 8, 2026Updated last month
- The customizable embedded Linux using Nix.☆70Dec 29, 2022Updated 3 years ago
- memory-mapped registers for x86_64 systems☆37May 18, 2021Updated 5 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 last year
- postcard-rpc, over rtt, with probe-rs☆16Jan 19, 2025Updated last year
- ☆24Feb 4, 2025Updated last year
- Userscript that introduces some user experience enhancements to the Nixpkgs and the NixOS manuals☆14Oct 16, 2023Updated 2 years ago
- Notes on/tools for/new firmware for (?) a PDC002 USB PD cable☆17Apr 8, 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.
- ☆17Aug 16, 2023Updated 2 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- Open source hardware down to the chip level!☆30Sep 24, 2021Updated 4 years ago
- ☆47Jul 22, 2025Updated 10 months ago
- C++ Unicode library for Array and String, Regexp and PEG parsing, using ref-counted slices with value semantics☆13May 4, 2026Updated 3 weeks 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
- IA-64 emulator☆15Aug 13, 2021Updated 4 years ago
- 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.
- Example to illustrate how to set up incremental Haskell Nix builds☆29Oct 25, 2022Updated 3 years ago
- Small script to check for bcloned files on a ZFS pool☆13Nov 23, 2023Updated 2 years ago
- ☆14Apr 28, 2024Updated 2 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- [MIGRATED to https://codeberg.org/prjunnamed/prjunnamed] End-to-end synthesis and P&R toolchain☆94Mar 12, 2026Updated 2 months ago
- A Gerrit CLI☆20Mar 24, 2026Updated 2 months ago
- Substitutes a directory elsewhere on macOS by replacing system calls☆21Dec 2, 2025Updated 5 months ago
- ☆15Sep 13, 2024Updated last year
- ☆18Mar 17, 2026Updated 2 months 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.
- C library for exposing global menus in Wayland and X11 sessions☆14Apr 15, 2026Updated last month
- ☆13Feb 4, 2025Updated last year
- A mini merge DSL for data overlays☆28Oct 26, 2023Updated 2 years ago
- nix value introspection - made easy☆12Apr 21, 2024Updated 2 years ago
- neovim plugin to automate fixing fake TOFU hashes when writing nix derivations☆23Jan 2, 2025Updated last year
- The gateware and firmware for girlvoice, the real-time FPGA vocoder☆56May 12, 2026Updated 2 weeks ago
- Schemas for common flake output types☆127Apr 17, 2026Updated last month