Simple RISC-V emulator presented at Rust Nation 2023
☆67Feb 17, 2023Updated 3 years ago
Alternatives and similar repositories for a-tale-of-binary-translation
Users that are interested in a-tale-of-binary-translation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experimental RISC-V recompiler☆18Apr 6, 2023Updated 3 years ago
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- Low level API definition of a Mutex☆26Jul 29, 2025Updated 9 months ago
- An experimental project to create an interactive programming language.☆18Jul 11, 2025Updated 9 months ago
- no-std no-alloc Rust protobufs.☆34Jul 15, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Rust library for talking to J-Link USB devices☆43Jan 4, 2024Updated 2 years ago
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- New register allocator designed as a successor to regalloc2☆57Nov 13, 2025Updated 5 months ago
- A simple script (in Rust lang) to create HTML from SVD☆18Jan 2, 2024Updated 2 years ago
- ☆13Feb 4, 2025Updated last year
- RISC-V Static Binary Translator☆18Mar 6, 2019Updated 7 years ago
- My second attempt at a RISC-V CPU with learnings form my previous attempt.☆10Apr 29, 2024Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- backtrace for ESP32 bare-metal☆30May 23, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- DWARF program analysis crate☆24Apr 25, 2024Updated 2 years ago
- (going to be a) BLE stack for embedded Rust (now for real)☆19Jul 6, 2024Updated last year
- A Lock Free Bipartite Buffer Library written in standard C++11☆14May 21, 2023Updated 2 years ago
- A symbolic evaluator for MIR☆20Jan 20, 2020Updated 6 years ago
- An embedded-hal driver for various SPI Flash and EEPROM chips☆26Jan 27, 2022Updated 4 years ago
- An demonic library to write PE binaries☆11Feb 12, 2024Updated 2 years ago
- Build edk2 development and debugging environment under win10, for recording some notes and writing self tools.☆13Aug 14, 2022Updated 3 years ago
- Contains the code for the Flexus cycle-accurate simulator, used in QFlex.☆14Mar 30, 2026Updated last month
- ☆20Apr 13, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆16May 5, 2025Updated 11 months ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Apr 17, 2024Updated 2 years ago
- A minimal async executor suitable for embedded environments☆40Mar 9, 2026Updated last month
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆26Nov 22, 2022Updated 3 years ago
- A Discord bot for the Community Rust Language server, written in Python.☆18Jul 20, 2023Updated 2 years ago
- Code coverage support for Rust `no_std` and embedded programs☆63Dec 5, 2025Updated 4 months ago
- EIM CLI: Cross-Platform ESP-IDF Installation Manager☆16Apr 1, 2025Updated last year
- Finding ownership bugs at scale.☆37Updated this week
- gem5 相关中文笔记☆17Dec 2, 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.
- Minimal runtime / startup for RISC-V CPUs from Espressif☆21Jun 7, 2023Updated 2 years ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆46Apr 8, 2026Updated 3 weeks ago
- This is a repo to store circuit design datasets☆19Jan 17, 2024Updated 2 years ago
- ☆94Jun 6, 2024Updated last year
- Proc macro implementation of #[naked]☆33Jun 5, 2023Updated 2 years ago
- NUDT 高级计算机网络实验：基于UDP的可靠传输☆18Jan 8, 2024Updated 2 years ago
- PA + Labs for Operating Systems 2019 course in NJU taught by JYY.☆12Aug 6, 2019Updated 6 years ago