Pinned Repositories
AAM-ify
A redex-inspired language of operational semantics with an automatic "abstracting abstract machines" transformation.
Abstract-Redex
An implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.
arctic-circle
Simple program for illustrating random Aztec tilings for the Arctic circle theorem
macro-models
Typed Racket implementations of macro expander models from Matthew Flatt
nifty-macros
A collection of general-purpose macros I've written and find generally useful.
polymorphic-splitting-port
A Racket port of Suresh Jagannathan's and Andrew Wright's Polymorphic Splitting implementation.
scribble-latex-utils
Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX
slideshow-helpers
Combinators and pict constructors I have found useful for writing slideshow presentations.
Typed-Racket-SMT-type-checker
An SMT solver with an interactive interface so it can be used as an inference engine.
deeglaze's Repositories
deeglaze/acpica
The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For detailed project information and downloads, go to https://www.acpica.org. For ACPICA contributor and source code licensing information, go to
deeglaze/amdese-linux
Linux kernel source tree
deeglaze/bazel
a fast, scalable, multi-language and extensible build system
deeglaze/cocli
deeglaze/coco-guest-components
Confidential Containers Guest Tools and Components
deeglaze/Connectivity
Maintainer branch website build: https://daniel-utilityapi.github.io/Connectivity/
deeglaze/corim
CoRIM and CoMID manipulation library and CLI
deeglaze/corim-appraisal
An idealized model of CoRIM evidence appraisal
deeglaze/deeglaze.github.io
Personal homepage
deeglaze/draft-amd-sev-snp-corim-profile
An IETF internet draft for a SEV-SNP attestation report profile for CoRIM
deeglaze/draft-deeglaze-amd-sev-snp-corim-profile
An IETF internet draft for a SEV-SNP attestation report profile for CoRIM
deeglaze/draft-ietf-rats-corim
deeglaze/draft-ietf-rats-msg-wrap
RATS conceptual messages wrapper
deeglaze/draft-pfp-corim-spec
A draft for a CoRIM profile of the TCG PCClient Platform Firmware Profile specifically for practical inclusion of reference values from multiple authorities.
deeglaze/edk2
EDK II
deeglaze/gce-tcb-verifier
Reference code for creating and verifying a GCE firmware signed reference value message.
deeglaze/go-configfs-tsm
deeglaze/go-sev-guest
deeglaze/go-tdx-guest
go-tdx-guest offers a library to wrap the /dev/tdx-guest device in Linux, as well as a library for attestation verification of fundamental components of an attestation quote.
deeglaze/go-tpm-tools
Go packages built on go-tpm providing a high-level API for using TPMs
deeglaze/jane
Jane Attestation Server
deeglaze/magic-modules
Add Google Cloud Platform support to Terraform
deeglaze/open-enum
Opens up a Rust enum to allow for non-specified values
deeglaze/packit
A simple library and CLI utility to pack filesystems into single blobs.
deeglaze/protobuf-go
Go support for Google's protocol buffers
deeglaze/qemu
QEMU fork
deeglaze/svsm
COCONUT-SVSM
deeglaze/systemd
The systemd System and Service Manager
deeglaze/terraform-provider-google
Terraform Provider for Google Cloud Platform
deeglaze/terraform-provider-google-beta
Terraform Provider for Google Cloud Platform (Beta)