Pinned Repositories
AOC2021
Advent of Code 2021 (Ada)
CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Fortress
Experimental 64-bit Operating System written in D
gembrowse
Terminal browser for the Gemini protocol
liburing-ada
liburing/io_uring bindings for Ada
SPARKTLS
TLS 1.3 Implementation in SPARK
troodon
A compositing X11 window manager and desktop environment
uds-core-rke2
Example of a UDS Bundle for UDS Core on RKE2
YOTROC
Assembler/Emulator for Fictional YOTROC Architecture
zarf-kali
Zarf package for Kali Linux
docandrew's Repositories
docandrew/CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
docandrew/troodon
A compositing X11 window manager and desktop environment
docandrew/gembrowse
Terminal browser for the Gemini protocol
docandrew/SPARKTLS
TLS 1.3 Implementation in SPARK
docandrew/uds-core-rke2
Example of a UDS Bundle for UDS Core on RKE2
docandrew/zarf-kali
Zarf package for Kali Linux
docandrew/AOC2021
Advent of Code 2021 (Ada)
docandrew/liburing-ada
liburing/io_uring bindings for Ada
docandrew/multipass-rke2
Virtualized environment for network security on RKE2 nodes
docandrew/SPARKx509
Verified library for X.509 certificates
docandrew/ubuntu-bsides
Ubuntu minimal container image w/ a selection of cyber tools
docandrew/ada-lox
Crafting Interpreters Lox Implementation in Ada
docandrew/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
docandrew/alire-index
Community index for the Alire project
docandrew/aoc2023
Advent of Code 2023
docandrew/aoc2024
Advent of Code for 2024
docandrew/contributor-playground
docandrew/cosbsides24
Colorado Springs BSides 2024 Type Theory
docandrew/CuBit-Docker
Container for Building CuBit OS
docandrew/DAGBuild
Modern Build Tool
docandrew/dummy-capture
Using a dummy interface to inject net traffic into a kubernetes pod doing packet capture
docandrew/enhancements
Enhancements tracking repo for Kubernetes
docandrew/kubernetes
Production-Grade Container Scheduling and Management
docandrew/liburing
docandrew/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
docandrew/SPARKNaCl
SPARK 2014 re-implementation of the TweetNaCl crypto library
docandrew/tldr
📚 Collaborative cheatsheets for console commands
docandrew/zarf
DevSecOps for Air Gap & Limited-Connection Systems. https://zarf.dev/
docandrew/zarf-lint-action
GitHub Action for Validating Zarf Packages
docandrew/zarf-package-kubernetes-dashboard
The Kubernetes Dashboard in a Zarf Package