2022 USTC 011705 (OSH) Course Project of Runikraft Group
☆13Jul 22, 2022Updated 3 years ago
Alternatives and similar repositories for x-runikraft
Users that are interested in x-runikraft are comparing it to the libraries listed below
Sorting:
- ☆13Oct 8, 2021Updated 4 years ago
- Toolkit for Universal Retrieval, such as text retrieval, item recommendation, image retrieval, etc.☆17Sep 15, 2025Updated 5 months ago
- ☆15Aug 18, 2022Updated 3 years ago
- All-in-one benchmarking platform for evaluating LLM.☆15Nov 12, 2025Updated 3 months ago
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- ☆16Sep 29, 2022Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Mar 3, 2022Updated 4 years ago
- SwornDisk是一个面向可信执行环境的、基于日志结构的安全块设备（全国大学生操作系统比赛2022）☆24Aug 14, 2022Updated 3 years ago
- Trusted I/O Paths for SGX Enclaves☆18Apr 30, 2020Updated 5 years ago
- ☆15Apr 13, 2021Updated 4 years ago
- ☆19Jul 9, 2020Updated 5 years ago
- Compartmentalised monolithic library OS☆20Jul 15, 2021Updated 4 years ago
- Run Rocket Chip on VCU128☆30Oct 21, 2025Updated 4 months ago
- A curated list of awesome serverless research works, including papers and open-sourced projects.☆86Nov 28, 2022Updated 3 years ago
- 中国科学技术大学大数据算法课程笔记2023☆30Jun 12, 2023Updated 2 years ago
- This repository is the code implementing some classic algorithms in co-location pattern minning.☆13May 9, 2014Updated 11 years ago
- 高级计算机体系结构2020，吴俊敏老师，中科大研究生课程☆76Feb 1, 2024Updated 2 years ago
- Linux integrity monitoring for CentOS/RHEL☆12May 13, 2020Updated 5 years ago
- Reinforcement Learning (PPO) applied to a multiplayer simple card game (Witches)☆10Jun 7, 2020Updated 5 years ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆13Jul 27, 2025Updated 7 months ago
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer …☆10Nov 27, 2019Updated 6 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- A simple 8086-CPU simulator using Verilog and Quartus II☆10Jul 9, 2018Updated 7 years ago
- DAC'22 paper: "Automated Accelerator Optimization Aided by Graph Neural Networks"☆40Oct 3, 2023Updated 2 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆46Aug 25, 2021Updated 4 years ago
- 收藏的电子书，包括mobi,pdf,epub,chm ,aws 这些格式，主要是计算机和互联网技术方面，欢迎star和下载☆37Jan 22, 2017Updated 9 years ago
- ☆15Jul 18, 2023Updated 2 years ago
- Implementation of Log20 in Java☆12Aug 15, 2018Updated 7 years ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- ☆12Jan 9, 2026Updated 2 months ago
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Jun 6, 2018Updated 7 years ago
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- A monolithic kernel based on ArceOS.☆14May 24, 2025Updated 9 months ago
- Demonstrating the BadAss issue.☆17May 19, 2025Updated 9 months ago
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆11Jul 28, 2025Updated 7 months ago