satnam6502

lava

Xilinx Lava

xilinx-lava

A library for combinator-based design of systems, especially digital hardware.

kubernetes

Container Cluster Manager

satnam6502.github.io

Static pages for Satnam Singh

silveroak

Formal specification and verification of hardware, especially for security and privacy.

android-hello-world

barrelfish

Mirror of the official Barrelfish OS repository.

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

go-log

Go logging library with systemd journal support

gokube

HASE-workshop.github.io

High Assurance Systems Engineering

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.

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

redex

A bytecode optimizer for Android apps

rocksdb

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

symbiyosys

Docker container source for SymbiYosys