Andrew Williams's starred repositories
awesome-flipperzero
🐬 A collection of awesome resources for the Flipper Zero device.
oauth2-proxy
A reverse proxy that provides authentication with Google, Azure, OpenID Connect and many more identity providers.
craftinginterpreters
Repository for the book "Crafting Interpreters"
automatic-ripping-machine
Automatic Ripping Machine (ARM) Scripts
nix-starter-configs
Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!
differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
community-edition
VMware Tanzu Community Edition is no longer an actively maintained project. Code is available for historical purposes only.
hermit
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
Bluetility
A Bluetooth Low Energy browser, an open-source alternative to LightBlue for OS X
kernel-zig
:floppy_disk: hobby x86 kernel zig
k8s-openapi
Rust definitions of the resource types in the Kubernetes client API
ssc-reading-list
A reading list for software supply-chain security.
js-compute-runtime
JavaScript SDK and runtime for building Fastly Compute applications
starlark-rust
Starlark (https://github.com/bazelbuild/starlark) in Rust
web-assembly-logo
Web Assembly (WASM) official logo
hypervisor-rs
Rust API to the OS X Hypervisor framework for hardware-accelerated virtualization
vm-operator-api
A client API for the VM Operator project, designed to allow for integration with vSphere 7 with Kubernetes
awesome-spiffe-spire
Curated list of SPIFFE and SPIRE resources