-
xed Public
Forked from intelxed/xedx86 encoder decoder
Python Apache License 2.0 UpdatedJun 3, 2020 -
-
-
-
fuchsia Public
Forked from vsrinivas/fuchsiahttps://fuchsia.googlesource.com/fuchsia
C++ BSD 3-Clause "New" or "Revised" License UpdatedJan 2, 2020 -
redox Public
Forked from redox-os/redoxMirror of https://gitlab.redox-os.org/redox-os/redox
Makefile MIT License UpdatedNov 24, 2019 -
kde Public
Forked from lkml-likexu/kde记录我的内核成长贡献之路。kernel-dev-environment
C MIT License UpdatedOct 28, 2019 -
jailhouse Public
Forked from siemens/jailhouseLinux-based partitioning hypervisor
C Other UpdatedOct 27, 2019 -
-
MIRAI Public
Forked from facebookexperimental/MIRAIRust mid-level IR Abstract Interpreter
Rust MIT License UpdatedOct 15, 2019 -
tarpaulin Public
Forked from xd009642/tarpaulinA code coverage tool for Rust projects
Rust Apache License 2.0 UpdatedOct 13, 2019 -
free-programming-books Public
Forked from EbookFoundation/free-programming-books📚 Freely available programming books
Other UpdatedOct 8, 2019 -
graphene Public
Forked from gramineproject/grapheneGraphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
C GNU Lesser General Public License v3.0 UpdatedOct 8, 2019 -
encfs Public
Forked from vgough/encfsEncFS: an Encrypted Filesystem for FUSE.
C++ Other UpdatedOct 4, 2019 -
awesome-sgx Public
Forked from Jim8y/awesome-sgxA curated list of SGX code and resources.
MIT License UpdatedOct 1, 2019 -
enarx.github.io Public
Forked from enarx-archive/enarx.github.ioEnarx.io website: start here for info about Enarx
CSS Apache License 2.0 UpdatedSep 26, 2019 -
jailhouse-images Public
Forked from siemens/jailhouse-imagesJailhouse demonstration and testing images
C MIT License UpdatedSep 22, 2019 -
sgx-step Public
Forked from jovanbulck/sgx-stepA practical attack framework for precise enclave execution control
C GNU General Public License v3.0 UpdatedSep 17, 2019 -
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
C++ Apache License 2.0 UpdatedSep 17, 2019 -
eleos Public
Forked from acsl-technion/eleosExitLess services for SGX enclaves
C++ UpdatedSep 10, 2019 -
leetcode-rust-1 Public
Forked from aylei/leetcode-rustmy leetcode solutions in rust
Rust Apache License 2.0 UpdatedSep 6, 2019 -
blog_os Public
Forked from phil-opp/blog_osWriting an OS in Rust
HTML Apache License 2.0 UpdatedSep 2, 2019 -
sgx-perf Public
Forked from ibr-ds/sgx-perfHigh-level performance analyser toolkit for Intel SGX
C MIT License UpdatedAug 30, 2019 -
Panoply Public
Forked from shwetasshinde24/PanoplyLow-TCB Linux Applications with SGX Enclaves
C Apache License 2.0 UpdatedAug 28, 2019 -
cheats.rs Public
Forked from ralfbiedert/cheats.rsRust Language Cheat Sheet - https://cheats.rs
Rust UpdatedAug 22, 2019 -
rustfmt Public
Forked from rust-lang/rustfmtFormat Rust code
Rust Apache License 2.0 UpdatedAug 19, 2019 -
Angora Public
Forked from AngoraFuzzer/AngoraAngora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
C++ Apache License 2.0 UpdatedAug 12, 2019 -
mesatee Public
Forked from apache/incubator-teaclaveA Framework for Universal Secure Computing
Rust Apache License 2.0 UpdatedAug 7, 2019 -
SGX-hardware Public
Forked from ayeks/SGX-hardwareThis is a list of hardware which is supports Intel SGX - Software Guard Extensions.
C MIT License UpdatedJul 28, 2019 -
rust-sgx-sdk Public
Forked from apache/incubator-teaclave-sgx-sdkRust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.
Rust Other UpdatedJul 21, 2019