Leonard's repositories
enclave-cc
Process-based Confidential Container Runtime
gem5
This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews should be submitted to https://gem5-review.googlesource.com/. The mirrors are synchronized every 15 minutes.
awesome-learning-resources
收集最优质的学习资料。专治“学习资料不足恐惧症”。
Awsome-Courses
😏国内外计算机的优秀课程,包含MIT、CMU等世界CS名校,🔥🔥其中包含计算机基础学科(操作系统、计算机网络、编译器、数据库、数据结构与算法等)以及人工智能&AI等高级科目,欢迎通过PR形式贡献!
CCF
Confidential Consortium Framework
ccf-deadlines
⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
certifier-framework-for-confidential-computing
The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation called the Certifier Service. It simplifies and unifies programming and operations support for multi-vendor Confidential Computing platforms by providing support for scalable, policy-driven trust management including
coding-competitions-archive
Google Coding Competitions problem archive
cuda-samples
Samples for CUDA Developers which demonstrates features in CUDA Toolkit
dace
DaCe - Data Centric Parallel Programming
firecracker
Secure and fast microVMs for serverless computing.
how2heap
A repository for learning various heap exploitation techniques.
leetcode-1
😏 LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Martins3.github.io
:book: Scratchpad about Linux, Compiler and Virtualization
micro-arch-training
How to make undergraduates or new graduates ready for advanced computer architecture research or modern CPU design
mirage
MirageOS is a library operating system that constructs unikernels
node-replicated-kernel
Experimental kernel with built-in replication.
optee_os
Trusted side of the TEE
reactos
A free Windows-compatible Operating System
rFaaS
rFaaS: a high-performance FaaS platform with RDMA acceleration for low-latency invocations.
rust
Empowering everyone to build reliable and efficient software.
sca-fuzzer
Revizor - a fuzzer to search for microarchitectural leaks in CPUs
serverless-benchmarks
SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.
snmalloc
Message passing based allocator
sparrow-manifest
Project Sparrow: Repo Materials
tock
A secure embedded operating system for microcontrollers
tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
verona
Research programming language for concurrent ownership
verus
Verified Rust for low-level systems code