zatkh Goto Github PK

amacc

Small C Compiler generating ELF executable for Arm architecture

android-security-reference

A W.I.P Android Security Ref

arm-trusted-firmware

Arm Trusted Firmware

beebs

A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions

benchmark

A microbenchmark support library

build

cascade

A high level language for SELinux policy

cbl-mariner-linux-kernel

The source for the Linux kernel used in CBL-Mariner

ccbench

Memory System Microbenchmarks

ccv

C-based/Cached/Core Computer Vision Library, A Modern Computer Vision Library

cheribsd

cherios

CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities

cherivm

cloud-hypervisor

composite

A component-based OS

deepbeliefsdk

The SDK for Jetpac's iOS Deep Belief image recognition framework

design-b

VHDL FTW

docker_optee

Simple Dockerfile that makes it easy to try OP-TEE using Docker

edgeml

This repository provides code for machine learning algorithms for edge devices developed at Microsoft Research India.

emscripten

emscripten-1

Emscripten: An LLVM-to-Web Compiler

enclave-bindings

Isolated ocaml bindings

exercises-stdlib

Scala Exercises' lessons for the standard library

exploitdb

The official Exploit Database repository

fp101x-content-2015

FP101x - Functional Programming MOOC 2015 Content Repository

funprog

Functional Programming Basics

genode

Genode OS Framework

graphene

Graphene / Graphene-SGX Library OS - a library OS for Linux multi-process applications, with Intel SGX support

helenos

A portable microkernel-based multiserver operating system written from scratch. This is the HelenOS mainline repository.

kvm-vmi

KVM-based Virtual Machine Introspection