Skip to content
View theTrident's full-sized avatar
🎯
Focusing
🎯
Focusing
  • ICT@UCAS
  • Earth
  • 04:57 - same time

Highlights

  • Pro

Block or report theTrident

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • optee_os Public

    Forked from OP-TEE/optee_os

    Trusted side of the TEE

    C Other Updated May 31, 2024
  • ⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

    Vue MIT License Updated Oct 26, 2023
  • Secure and fast microVMs for serverless computing.

    Rust Apache License 2.0 Updated Oct 21, 2023
  • MICRO2023 Artifact Evaluation of SecureLoop

    Jupyter Notebook Updated Oct 19, 2023
  • verus Public

    Forked from verus-lang/verus

    Verified Rust for low-level systems code

    Rust MIT License Updated Oct 15, 2023
  • 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 programmi…

    C++ Apache License 2.0 Updated Oct 14, 2023
  • tock Public

    Forked from tock/tock

    A secure embedded operating system for microcontrollers

    Rust Other Updated Sep 29, 2023
  • llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    Other Updated Sep 2, 2023
  • Google Coding Competitions problem archive

    HTML Apache License 2.0 Updated Jul 12, 2023
  • how2heap Public

    Forked from shellphish/how2heap

    A repository for learning various heap exploitation techniques.

    C MIT License Updated Jun 16, 2023
  • CCF Public

    Forked from microsoft/CCF

    Confidential Consortium Framework

    C++ Apache License 2.0 Updated Jun 3, 2023
  • snmalloc Public

    Forked from microsoft/snmalloc

    Message passing based allocator

    C++ MIT License Updated May 30, 2023
  • sca-fuzzer Public

    Forked from microsoft/sca-fuzzer

    Revizor - a fuzzer to search for microarchitectural leaks in CPUs

    Python MIT License Updated May 18, 2023
  • Process-based Confidential Container Runtime

    Go Apache License 2.0 Updated May 11, 2023
  • Experimental kernel with built-in replication.

    Rust Other Updated Apr 15, 2023
  • rFaaS Public

    Forked from spcl/rFaaS

    rFaaS: a high-performance FaaS platform with RDMA acceleration for low-latency invocations.

    C++ BSD 3-Clause "New" or "Revised" License Updated Apr 6, 2023
  • Samples for CUDA Developers which demonstrates features in CUDA Toolkit

    C Other Updated Apr 6, 2023
  • How to make undergraduates or new graduates ready for advanced computer architecture research or modern CPU design

    Updated Mar 25, 2023
  • verona Public

    Forked from microsoft/verona

    Research programming language for concurrent ownership

    C++ MIT License Updated Mar 15, 2023
  • gem5 Public

    Forked from gem5/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…

    C++ BSD 3-Clause "New" or "Revised" License Updated Mar 4, 2023
  • dace Public

    Forked from spcl/dace

    DaCe - Data Centric Parallel Programming

    Python BSD 3-Clause "New" or "Revised" License Updated Feb 23, 2023
  • SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.

    Python BSD 3-Clause "New" or "Revised" License Updated Feb 20, 2023
  • Project Sparrow: Repo Materials

    Apache License 2.0 Updated Feb 15, 2023
  • rust Public

    Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Rust Other Updated Feb 14, 2023
  • 收集最优质的学习资料。专治“学习资料不足恐惧症”。

    Updated Jan 28, 2023
  • reactos Public

    Forked from reactos/reactos

    A free Windows-compatible Operating System

    C GNU General Public License v2.0 Updated Jan 13, 2023
  • 😏国内外计算机的优秀课程,包含MIT、CMU等世界CS名校,🔥🔥其中包含计算机基础学科(操作系统、计算机网络、编译器、数据库、数据结构与算法等)以及人工智能&AI等高级科目,欢迎通过PR形式贡献!

    Updated Dec 9, 2022
  • tokio Public

    Forked from tokio-rs/tokio

    A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

    Rust MIT License Updated Nov 15, 2022
  • mirage Public

    Forked from mirage/mirage

    MirageOS is a library operating system that constructs unikernels

    OCaml ISC License Updated Sep 27, 2022
  • leetcode-1 Public

    Forked from doocs/leetcode

    😏 LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解

    Java Creative Commons Attribution Share Alike 4.0 International Updated Sep 9, 2022