Ilmari Vacklin's repositories
agda-template
A template for an Agda project with automatic GitHub Pages support
asciimathml
A new home for asciimathml
aws-solutions-constructs
The AWS Solutions Constructs Library is an open-source extension of the AWS Cloud Development Kit (AWS CDK) that provides multi-service, well-architected patterns for quickly defining solutions
homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
nix-devcontainer
Swiss army knife container for vscode development environments
otel-action
Create & upload OpenTelemetry traces of a GitHub actions workflow run to an OTLP compatible endpoint
terraform-cdk
Define infrastructure resources using programming constructs and provision them using HashiCorp Terraform
vscode-dev-containers
A repository of development container definitions for the VS Code Remote - Containers extension and GitHub Codespaces