charlottia / hdx
HDL development environment on Nix.
☆25Updated 6 months ago
Alternatives and similar repositories for hdx:
Users that are interested in hdx are comparing it to the libraries listed below
- ☆23Updated 3 years ago
- memory-mapped registers for x86_64 systems☆33Updated 3 years ago
- A Yosys pass and technology library + scripts for implementing a HDL design in discretie FETs for layout in KiCad☆11Updated last year
- ☆16Updated 3 years ago
- batch eval tool for machine code. eval() but for asm.☆12Updated 2 years ago
- ☆14Updated last year
- WebAssembly-based Yosys distribution for Amaranth HDL☆26Updated 2 weeks ago
- ☆13Updated 7 months ago
- Hot Reconfiguration Technology demo☆39Updated 2 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12Updated last year
- [in-progress] toy rust microkernel and operating system for riscv64☆28Updated 3 years ago
- converts catgirls to gds files☆15Updated 3 years ago
- Easy SMT solver interaction☆35Updated last month
- Nix written in rust (this will take some time if it will ever finish)☆22Updated 4 years ago
- Wasm Analysis Framework For Lightweight Experiments☆46Updated 5 months ago
- Dotfiles, a monorepo, who is to know!!☆40Updated this week
- An FPGA reverse engineering and documentation project☆43Updated this week
- Unofficial Yosys WebAssembly packages☆70Updated this week
- A function for fetching the crates listed in a Cargo lock file☆51Updated 3 years ago
- DWARF program analysis crate☆17Updated last year
- Betrusted embedded controller (UP5K)☆45Updated last year
- Kye☆23Updated 2 years ago
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- Iron: selectively turn RISC-V binaries into hardware☆23Updated last year
- A Brainfuck interpreter embedded inside DWARF debug information☆37Updated 11 months ago
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Updated 9 months ago
- An experimental project to create an interactive programming language.☆17Updated this week
- The customizable embedded Linux using Nix.☆66Updated 2 years ago
- ☆24Updated 3 months ago
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 2 years ago