Name: Satnam Singh
Type: User
Company: @google
Bio: Functional programming, hardware design and formal specification and verification.
Twitter: satnam6502
Location: Los Altos, California, United States
Blog: satnam.fpcastle.com
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
A bytecode optimizer for Android apps
A library that provides an embeddable, persistent key-value store for fast storage.