OSH-2022 / x-runikraftView external linksLinks
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
- ☆15Aug 18, 2022Updated 3 years ago
- Toolkit for Universal Retrieval, such as text retrieval, item recommendation, image retrieval, etc.☆17Sep 15, 2025Updated 5 months ago
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 years ago
- All-in-one benchmarking platform for evaluating LLM.☆15Nov 12, 2025Updated 3 months ago
- ☆16Sep 29, 2022Updated 3 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- SwornDisk是一个面向可信执行环境的、基于日志结构的安全块设备（全国大学生操作系统比赛2022）☆24Aug 14, 2022Updated 3 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Mar 3, 2022Updated 3 years ago
- ☆15Apr 13, 2021Updated 4 years ago
- Trusted I/O Paths for SGX Enclaves☆18Apr 30, 2020Updated 5 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 3 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，吴俊敏老师，中科大研究生课程☆73Feb 1, 2024Updated 2 years 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
- A simple 8086-CPU simulator using Verilog and Quartus II☆10Jul 9, 2018Updated 7 years ago
- Reinforcement Learning (PPO) applied to a multiplayer simple card game (Witches)☆10Jun 7, 2020Updated 5 years ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆13Jul 27, 2025Updated 6 months ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- Linux integrity monitoring for CentOS/RHEL☆10May 13, 2020Updated 5 years ago
- 收藏的电子书，包括mobi,pdf,epub,chm ,aws 这些格式，主要是计算机和互联网技术方面，欢迎star和下载☆37Jan 22, 2017Updated 9 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
- ☆10May 16, 2021Updated 4 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- ☆15Jul 18, 2023Updated 2 years ago
- Cavs: An Efficient Runtime System for Dynamic Neural Networks☆15Sep 18, 2020Updated 5 years ago
- Implementation of Log20 in Java☆12Aug 15, 2018Updated 7 years ago
- simple ansible playbook to take clean ubuntu 18.04 to CUDA 10, PyTorch 1.0, fastai, miniconda heaven☆12Dec 16, 2018Updated 7 years ago
- PNG library benchmarking and testing utility☆11May 16, 2023Updated 2 years ago
- Demonstrating the BadAss issue.☆17May 19, 2025Updated 8 months ago
- Labs of 2019 Web Information Processing and Application in USTC.☆11Jan 15, 2020Updated 6 years ago