Microkernel-based system for heterogeneous manycores
☆14Mar 6, 2026Updated 2 months ago
Alternatives and similar repositories for M3
Users that are interested in M3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Mar 31, 2026Updated last month
- Microkernel-based system for heterogeneous manycores☆115Sep 14, 2020Updated 5 years ago
- This crate is hardware abstraction layer for shakti processor which is riscv architecture.☆18Jan 28, 2025Updated last year
- ☆20Dec 27, 2024Updated last year
- Pure Rust implementation of the Leighton Micali Signature scheme.☆15Nov 17, 2025Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆53Apr 14, 2026Updated 3 weeks ago
- This is a simple workaround to use fcitx-mozc inside sway window manager (wayland).☆10Apr 18, 2019Updated 7 years ago
- Post-Silicon Validation Tool based on REVERSI☆10Dec 10, 2025Updated 5 months ago
- A carefully curated collection of symbols and footprints☆25Mar 5, 2026Updated 2 months ago
- ☆22Mar 1, 2026Updated 2 months ago
- A LogGOPS (LogP, LogGP, LogGPS) Simulator and Simulation Framework☆17Aug 20, 2024Updated last year
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21May 27, 2020Updated 5 years ago
- Full Speed USB DFU interface for FPGA and ASIC designs☆20Mar 10, 2024Updated 2 years ago
- ☆35Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Fabric generator and CAD tools graphical frontend☆18Aug 5, 2025Updated 9 months ago
- The Rumprun unikernel and toolchain for various platforms☆11Mar 31, 2026Updated last month
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- Awesome SGX and TEE on Blockchain Resources☆26Jun 30, 2023Updated 2 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- ☆12Aug 26, 2022Updated 3 years ago
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Oct 20, 2021Updated 4 years ago
- A fully reproducible nix flake for automatic1111/stable-diffusion-webui with CUDA support.☆13Apr 13, 2023Updated 3 years ago
- ☆11Dec 19, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Virtio in userspace☆12Nov 8, 2011Updated 14 years ago
- ☆10Jun 12, 2023Updated 2 years ago
- Parse data and generate plotting scripts based on plotly.☆12Dec 8, 2025Updated 5 months ago
- Verilog design files and Icestudio file for streaming the OV7670 camera using ULX3S FPGA Board☆23Nov 17, 2021Updated 4 years ago
- Automatically exported from code.google.com/p/llvm-qemu☆11Apr 29, 2015Updated 11 years ago
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11May 21, 2024Updated last year
- RISC-V Soft CPU Security Contest by Thales and Microchip Technology☆12Jul 29, 2019Updated 6 years ago
- Collection of my hand-made mods for Balatro.☆16May 16, 2025Updated 11 months ago
- Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)☆20Aug 2, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 years ago
- RISC-V BSV Specification☆24Apr 28, 2026Updated last week
- ☆17Apr 7, 2026Updated last month
- Proof-of-concept implementation of the "Challenge/Response Remote Attestation" interaction model of the IETF RATS Reference Interaction M…☆36Apr 5, 2025Updated last year
- fork of file_parda from bitbucket☆11Jun 27, 2015Updated 10 years ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Oct 21, 2024Updated last year
- hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module☆15Updated this week