Satnam Singh's Projects
Mirror of the official Barrelfish OS repository.
Analyzes resource usage and performance characteristics of running containers.
A silly Go program to try and understand channels.
Docker - the open-source application container engine
Go logging library with systemd journal support
High Assurance Systems Engineering
Webpages for the HOL4 website (currently at hol-theorem-prover.org)
A example Haskell program for pulling Docker images
Haskell HTTP client library for use with io-streams
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
Teaching Kavi programming
A vanilla Kibana image.
Container Cluster Manager
Xilinx Lava
A personal repository used for my own learning of HOL
Examples for ACM Queue cluster level logging article
Meaningful control of data in distributed systems.
OpenTitan: Open source silicon root of trust
Source code for raintown.org website
A bytecode optimizer for Android apps