q3k / qfcLinks
Migrated to Codeberg
☆18Updated 3 years ago
Alternatives and similar repositories for qfc
Users that are interested in qfc are comparing it to the libraries listed below
Sorting:
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆120Updated 2 years ago
- The Mickey Mouse of dynamic linkers☆16Updated 2 months ago
- memory-mapped registers for x86_64 systems☆35Updated 4 years ago
- converts catgirls to gds files☆15Updated 4 years ago
- HDL development environment on Nix.☆26Updated last year
- WebAssembly-based Yosys distribution for Amaranth HDL☆29Updated last week
- Language for composable analysis and generation of digital, analog, and RF signals☆59Updated 3 months ago
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 3 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Updated 11 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Updated 3 months ago
- Fast edit-compile-test cycles for Linux+OpenZFS development☆32Updated last month
- Place & Router for Minetest☆18Updated 3 years ago
- Sail code model of the CHERIoT ISA☆48Updated last month
- A collection of common Bluespec interfaces/modules.☆103Updated last year
- 25519 for Cortex-M4 microcontrollers☆66Updated 3 months ago
- Unofficial Yosys WebAssembly packages☆76Updated this week
- Documenting Lattice's 28nm FPGA parts☆145Updated last week
- The SiFive wake build tool☆92Updated this week
- A Rust doubly-linked intrusive list with Miri tests☆12Updated last year
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆36Updated 7 years ago
- Migrated to Codeberg☆15Updated 3 years ago
- Assemble 128-bit RISC-V☆46Updated 2 years ago
- A library to easily write software emulated hardware☆115Updated 3 years ago
- ☆16Updated last week
- A new Hardware Design Language that keeps you in the driver's seat☆122Updated last week
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Updated last year
- Initialization code ("crt0") written in Rust☆69Updated 4 years ago
- A RISC-V simulator implementing RV32G[C].☆35Updated 2 years ago
- A Cargo subcommand for working with feL4 projects.☆52Updated 7 years ago