arkivm Goto Github PK

amdsev

AMD Secure Encrypted Virtualization

android-simg2img

Tool to convert Android sparse images to raw images

arkivm.github.io

Build a Jekyll blog in minutes, without touching the command line.

asylo

An open and flexible framework for developing enclave applications

aurora

Aurora Single Level Store

bento

bentofs

binwalk

Firmware Analysis Tool

chronofile

Personal time tracking app

ciao

Ciao is a general purpose, multi-paradigm programming language in the Prolog family

cloudlab-profiles

coconut-svsm

COCONUT-SVSM

codeformer

[NeurIPS 2022] Towards Robust Blind Face Restoration with Codebook Lookup Transformer

confidential-computing-resources

cpu_features

A cross platform C99 library to get cpu features at runtime.

differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.

differential-datalog

An incremental programming language

docs.scala-lang

The Scala Documentation website

dsss18

Lecture material for DeepSpec Summer School 2018

flake8-polyfill

Project to make writing plugins across major versions of flake8 easier

gadgetsmash

gns3-gui

GNS3 Graphical User Interface

healer

Kernel fuzzer inspired by Syzkaller

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

horndis

Android USB tethering driver for Mac OS X

hue-python-rgb-converter

RGB conversion tool written in Python for Philips Hue.

hugo-papermod

A fast, clean, responsive Hugo theme.

icmptx

IP-over-ICMP tunnel

idf_seminar

k8s-ddlog