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 2 years ago
- ☆16Jun 13, 2021Updated 5 years ago
- cursed☆14Mar 19, 2023Updated 3 years ago
- HTTP Request & Response Service pretty like [httpbin](http://httpbin.org) but powered by Rust☆17Jun 26, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Kicad Library to pretify your schematic with pride flags.☆16Nov 13, 2022Updated 3 years ago
- Experiments with Yosys cxxrtl backend☆50Jan 16, 2025Updated last year
- A kexec-based bootloader☆28Updated this week
- The customizable embedded Linux using Nix.☆70Dec 29, 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 last year
- postcard-rpc, over rtt, with probe-rs☆17Jan 19, 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
- Open source hardware down to the chip level!☆30Sep 24, 2021Updated 4 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.
- ☆48Jul 22, 2025Updated 11 months ago
- A Nix web bundler because why not☆56Mar 10, 2024Updated 2 years ago
- Cuter Nix logo (SVG)☆30Oct 26, 2022Updated 3 years ago
- a metaprogramming language that compiles from types☆10Jun 26, 2024Updated 2 years ago
- (migrated to https://codeberg.org/shiz/img4) various low-level Apple data structure tools☆16Jan 18, 2021Updated 5 years ago
- 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
- Small script to check for bcloned files on a ZFS pool☆14Nov 23, 2023Updated 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.
- ☆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☆95Mar 12, 2026Updated 3 months ago
- A Gerrit CLI☆21Mar 24, 2026Updated 3 months ago
- ☆15Sep 13, 2024Updated last year
- Substitutes a directory elsewhere on macOS by replacing system calls☆23Dec 2, 2025Updated 7 months ago
- ☆18Mar 17, 2026Updated 3 months ago
- C library for exposing global menus in Wayland and X11 sessions☆14Apr 15, 2026Updated 2 months ago
- ☆13Feb 4, 2025Updated last year
- 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.
- A mini merge DSL for data overlays☆28Oct 26, 2023Updated 2 years ago
- nix value introspection - made easy☆12Apr 21, 2024Updated 2 years ago
- ☆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☆20May 14, 2026Updated last month
- The gateware and firmware for girlvoice, the real-time FPGA vocoder☆56Jun 27, 2026Updated last week
- Schemas for common flake output types☆128Jun 1, 2026Updated last month