docandrew

CuBit

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

troodon

A compositing X11 window manager and desktop environment

gembrowse

Terminal browser for the Gemini protocol

YOTROC

Assembler/Emulator for Fictional YOTROC Architecture

SPARKTLS

TLS 1.3 Implementation in SPARK

Fortress

Experimental 64-bit Operating System written in D

uds-core-rke2

Example of a UDS Bundle for UDS Core on RKE2

zarf-kali

Zarf package for Kali Linux

AOC2021

Advent of Code 2021 (Ada)

liburing-ada

liburing/io_uring bindings for Ada

multipass-rke2

Virtualized environment for network security on RKE2 nodes

ubuntu-bsides

Ubuntu minimal container image w/ a selection of cyber tools

ada-lox

Crafting Interpreters Lox Implementation in Ada

awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

alire-index

Community index for the Alire project

aoc2023

Advent of Code 2023

CuBit-Docker

Container for Building CuBit OS

digester

Rust version of hashing algorithms

dummy-capture

Using a dummy interface to inject net traffic into a kubernetes pod doing packet capture

Image2Bytes

Convert .jpg files into a D ubyte array

liburing

MTR-KML-Converter

Convert .KML files for MTRs into ForeFlight-friendly versions.

sdlada

Ada 2012 bindings to SDL 2

spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

SPARKNaCl

SPARK 2014 re-implementation of the TweetNaCl crypto library

SPARKx509

Verified library for X.509 certificates

tldr

📚 Collaborative cheatsheets for console commands

zarf

DevSecOps for Air Gap & Limited-Connection Systems. https://zarf.dev/

zarf-lint-action

GitHub Action for Validating Zarf Packages

zarf-package-kubernetes-dashboard

The Kubernetes Dashboard in a Zarf Package