satnam6502

lava

Xilinx Lava

xilinx-lava

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

kubernetes

Container Cluster Manager

raintown.org

Source code for raintown.org website

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

hol-webpages

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

hpull

A example Haskell program for pulling Docker images

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

verilator-ci

A repository to test verilator in CI