charlottia / hdxLinks
HDL development environment on Nix.
☆26Updated 11 months ago
Alternatives and similar repositories for hdx
Users that are interested in hdx are comparing it to the libraries listed below
Sorting:
- ☆26Updated 3 years ago
- memory-mapped registers for x86_64 systems☆35Updated 4 years ago
- A tool for USB device pass-through using the vfio-user protocol.☆23Updated this week
- cursed☆13Updated 2 years ago
- Reduced Embeddable More Or Less Tcl☆10Updated 7 months ago
- Dotfiles, a monorepo, who is to know!!☆45Updated last week
- A Rust doubly-linked intrusive list with Miri tests☆12Updated last year
- converts catgirls to gds files☆15Updated 4 years ago
- ☆13Updated last year
- ☆24Updated 8 months ago
- The customizable embedded Linux using Nix.☆66Updated 2 years ago
- A Gerrit CLI☆18Updated 3 months ago
- Easy SMT solver interaction☆35Updated 2 months ago
- DWARF program analysis crate☆24Updated last year
- ☆11Updated last year
- Nix Expressions for Altera(Intel) Quartus☆16Updated 4 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Updated 11 months ago
- A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://gitlab.com/spade-lang/spad…☆31Updated last week
- An implementation of the Bottom encoding format in Nix☆27Updated last year
- Beautiful Digital Timing Diagrams with Rust☆85Updated 9 months ago
- nscd-compatible daemon that proxies lookups, without caching☆67Updated last week
- A Yosys pass and technology library + scripts for implementing a HDL design in discretie FETs for layout in KiCad☆13Updated last year
- Wasm Analysis Framework For Lightweight Experiments☆50Updated 2 months ago
- Diff nix build logs with less clutter☆13Updated 10 months ago
- Darwin build box for Nix community members☆25Updated last year
- NixOS on Allwinner D1 RISC-V☆39Updated 2 years ago
- ☆16Updated 4 years ago
- A Nix DSL that compiles to Lua☆25Updated 2 months ago
- A kexec-based bootloader☆25Updated 2 weeks ago
- pwintln uwu☆38Updated 4 years ago