charlottia / hdxLinks
HDL development environment on Nix.
☆26Updated 10 months ago
Alternatives and similar repositories for hdx
Users that are interested in hdx are comparing it to the libraries listed below
Sorting:
- ☆24Updated 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.☆19Updated last week
- cursed☆13Updated 2 years ago
- ☆13Updated 11 months ago
- A Rust doubly-linked intrusive list with Miri tests☆12Updated last year
- ☆11Updated last year
- ☆16Updated 4 years ago
- converts catgirls to gds files☆15Updated 4 years ago
- Dotfiles, a monorepo, who is to know!!☆45Updated this week
- nscd-compatible daemon that proxies lookups, without caching☆65Updated last week
- DWARF program analysis crate☆23Updated last year
- Nix Expressions for Altera(Intel) Quartus☆16Updated 4 years ago
- ☆24Updated 6 months ago
- Easy SMT solver interaction☆35Updated 3 weeks ago
- A Yosys pass and technology library + scripts for implementing a HDL design in discretie FETs for layout in KiCad☆12Updated last year
- Diff nix build logs with less clutter☆13Updated 9 months ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Updated 10 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…☆30Updated this week
- The customizable embedded Linux using Nix.☆66Updated 2 years ago
- Wasm Analysis Framework For Lightweight Experiments☆49Updated last month
- A Nix DSL that compiles to Lua☆25Updated last month
- A Gerrit CLI☆18Updated 2 months ago
- Scope Graph Implementation in Rust☆27Updated 9 months ago
- Beautiful Digital Timing Diagrams with Rust☆83Updated 8 months ago
- An implementation of the Bottom encoding format in Nix☆27Updated last year
- [in-progress] toy rust microkernel and operating system for riscv64☆28Updated 4 years ago
- Nix files for development on the esp32 in rust using the esp-idf framework☆26Updated 5 years ago
- pwintln uwu☆38Updated 4 years ago
- The gateware and firmware for girlvoice, the real-time FPGA vocoder☆57Updated this week