zatkh Goto Github PK

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

libffi

A portable foreign-function interface library.

libhermit

A Unikernel for Extreme-Scale Computing

libsandbox

linux

linuxflaw

This repo records all the vulnerabilities of linux software I have reproduced in my local workspace

lkl-linux

Linux kernel source tree

memcached

memcached development tree

mibench

The MiBench testsuite, extended for use in general embedded environments

ocaml-ctypes

Library for binding to C libraries using pure OCaml

ocaml-freestanding

Freestanding OCaml runtime

ocaml-sodium

Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl

owl

pr

A lock-free priority queue implementation

qemu-sgx

riscv-musl

musl libc for RISC-V

riscv-tests

rumprun

The Rumprun unikernel and toolchain for various platforms

sandboxed-api

Sandboxed API automatically generates sandboxes for C/C++ libraries

scala_school

Lessons in the Fundamentals of Scala

sgx_ukvm_test

Compartmentalized in-enclave backend for unikernels

sirius-tee

smon

snmalloc

Message passing based allocator

solo5

A sandboxed execution environment for unikernels

timberv-riscv-tools

RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)

transientfail

Website and PoC collection for transient execution attacks

trinity

Linux system call fuzzer

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

tz-experiments

TrustZone-based experimental measurements