Ilmari Vacklin's repositories
otel-action
Create & upload OpenTelemetry traces of a GitHub actions workflow run to an OTLP compatible endpoint
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
dynamo
expressive DynamoDB library for Go
go-fuse
FUSE bindings for Go
agda-template
A template for an Agda project with automatic GitHub Pages support
pipes
Show CodePipeline status
bean
Read Homebrew API
terraform-cdk
Define infrastructure resources using programming constructs and provision them using HashiCorp Terraform
nixpacks
App source + Nix packages + Docker = Image
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
leancheck
enumerative property-based testing for Haskell
vscode-dev-containers
A repository of development container definitions for the VS Code Remote - Containers extension and GitHub Codespaces
agda
Agda is a dependently typed programming language / interactive theorem prover.
asciimathml
A new home for asciimathml
wolverian
Config files for my GitHub profile.
c2rust
Migrate C code to Rust