satnam6502
Functional programming, hardware design and formal specification and verification.
@googleLos Altos, California, United States
Pinned Repositories
fpcastle.github.io
A representative FP Castle
kubernetes
Production-Grade Container Scheduling and Management
silveroak
Formal specification and verification of hardware, especially for security and privacy.
kubernetes
Container Cluster Manager
lava
Xilinx Lava
raintown.org
Source code for raintown.org website
satnam6502.github.io
Static pages for Satnam Singh
sous-vide-haskell
xilinx-lava
A library for combinator-based design of systems, especially digital hardware.
satnam6502's Repositories
satnam6502/lava
Xilinx Lava
satnam6502/xilinx-lava
A library for combinator-based design of systems, especially digital hardware.
satnam6502/kubernetes
Container Cluster Manager
satnam6502/raintown.org
Source code for raintown.org website
satnam6502/satnam6502.github.io
Static pages for Satnam Singh
satnam6502/silveroak
Formal specification and verification of hardware, especially for security and privacy.
satnam6502/android-hello-world
satnam6502/barrelfish
Mirror of the official Barrelfish OS repository.
satnam6502/chandebug
A silly Go program to try and understand channels.
satnam6502/cppexperiments
satnam6502/docker
Docker - the open-source application container engine
satnam6502/elasticsearch
satnam6502/experiments
satnam6502/fluent-plugin-kubernetes_metadata_filter
satnam6502/go-log
Go logging library with systemd journal support
satnam6502/gokube
satnam6502/HASE-workshop.github.io
High Assurance Systems Engineering
satnam6502/hol-webpages
Webpages for the HOL4 website (currently at hol-theorem-prover.org)
satnam6502/hpull
A example Haskell program for pulling Docker images
satnam6502/kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
satnam6502/kavi
Teaching Kavi programming
satnam6502/kibana
A vanilla Kibana image.
satnam6502/learning-hol
A personal repository used for my own learning of HOL
satnam6502/logging-acm-queue
Examples for ACM Queue cluster level logging article
satnam6502/oak
Meaningful control of data in distributed systems.
satnam6502/opentitan
OpenTitan: Open source silicon root of trust
satnam6502/redex
A bytecode optimizer for Android apps
satnam6502/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
satnam6502/symbiyosys
Docker container source for SymbiYosys
satnam6502/verilator-ci
A repository to test verilator in CI