satnam6502 Goto Github PK

android-hello-world

barrelfish

Mirror of the official Barrelfish OS repository.

cadvisor

Analyzes resource usage and performance characteristics of running containers.

chandebug

A silly Go program to try and understand channels.

cppexperiments

docker

Docker - the open-source application container engine

elasticsearch

experiments

fluent-plugin-kubernetes_metadata_filter

ghc-7.8.3

go-log

Go logging library with systemd journal support

gokube

hase-workshop.github.io

High Assurance Systems Engineering

haskell-bigquery

haskell-experiments

hol-webpages

Webpages for the HOL4 website (currently at hol-theorem-prover.org)

hpull

A example Haskell program for pulling Docker images

http-streams

Haskell HTTP client library for use with io-streams

kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

kavi

Teaching Kavi programming

kibana

A vanilla Kibana image.

kubernetes

Container Cluster Manager

lava

Xilinx Lava

learning-hol

A personal repository used for my own learning of HOL

logging-acm-queue

Examples for ACM Queue cluster level logging article

oak

Meaningful control of data in distributed systems.

opentitan

OpenTitan: Open source silicon root of trust

pi

redex

A bytecode optimizer for Android apps

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.