A collection of (public) notes on assorted topics
☆78Aug 22, 2025Updated 6 months ago
Alternatives and similar repositories for public-notes
Users that are interested in public-notes are comparing it to the libraries listed below
Sorting:
- ☆18Jul 26, 2024Updated last year
- ☆26Mar 13, 2025Updated 11 months ago
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆16Feb 17, 2026Updated last week
- RTL blocks compatible with the Rocket Chip Generator☆17Mar 30, 2025Updated 11 months ago
- ET Accelerator Firmware and Runtime☆35Feb 18, 2026Updated last week
- 🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…☆21Updated this week
- ☆17Dec 19, 2025Updated 2 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆17Nov 15, 2021Updated 4 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated 8 months ago
- embedding MLIR in LEAN☆48Jun 17, 2024Updated last year
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆24Oct 31, 2017Updated 8 years ago
- Clang supporting syntax plugins☆22Dec 12, 2022Updated 3 years ago
- TEE hardware - based on the chipyard repository - hardware to accelerate TEE☆24Dec 16, 2022Updated 3 years ago
- Compartmentalised monolithic library OS☆20Jul 15, 2021Updated 4 years ago
- RV: A Unified Region Vectorizer for LLVM☆113Feb 18, 2026Updated last week
- AI applications and tools☆30Jan 26, 2026Updated last month
- CDT GDB Visual Studio Code Extension☆24Updated this week
- ☆30Mar 16, 2022Updated 3 years ago
- Example for running IREE in a bare-metal Arm environment.☆40Updated this week
- ☆38Aug 6, 2022Updated 3 years ago
- Infrastructure to drive Spike (RISC-V ISA Simulator) in cosim mode. Hammer provides a C++ and Python interface to interact with Spike.☆39Jan 19, 2026Updated last month
- All public report slides, articles and meeting minutes related to RustSBI☆29Dec 14, 2025Updated 2 months ago
- Eyrie enclave runtime kernel☆37Aug 2, 2023Updated 2 years ago
- The MIT Sanctum processor top-level project☆31Apr 7, 2020Updated 5 years ago
- Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabiliti…☆23Nov 11, 2025Updated 3 months ago
- Download an entire selected Suicide Girls album.☆11Nov 17, 2024Updated last year
- A minimal command line Minecraft launcher + API with in-built support for mod loaders.☆21Jan 15, 2026Updated last month
- A tiny yet powerful jQuery-like JavaScript library that simplifies the client-side scripting of HTML.☆12Apr 2, 2025Updated 11 months ago
- Based on Chisel3, Rift2Core is a 9-stage, out-of-order, 64-bits RISC-V Core, which supports RV64GC.☆39Feb 6, 2024Updated 2 years ago
- Open Application-Specific Instruction Set processor tools (OpenASIP)☆174Feb 16, 2026Updated 2 weeks ago
- InstLatX64_Demo☆45Oct 18, 2025Updated 4 months ago
- Workshop on Computer Architecture Research with RISC-V (CARRV)☆42Nov 5, 2024Updated last year
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- Reverse Perspective Camera for OpenGL (Three.js)☆32Nov 15, 2025Updated 3 months ago
- ☆12Jul 7, 2014Updated 11 years ago
- Performance Counter Reader☆11Sep 14, 2022Updated 3 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- Linux for Siemens EL71 (pmb8876)☆10Jan 22, 2018Updated 8 years ago