Pinned Repositories
agda-reference-filter
agda-template
A template for an Agda project with automatic GitHub Pages support
bin
box
box! is full of boxes
dawn
deno-hello-world-heroku
jenky
Jenky is a beautiful radiator for your Jenkins CI server.
minimal
Minimal color scheme for Vim
minimal-intellij
A minimal light theme for IntelliJ editors
oi-lang
A small programming language
wolverian's Repositories
wolverian/agda-template
A template for an Agda project with automatic GitHub Pages support
wolverian/fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
wolverian/obs
Quick setup for OpenTelemetry SDK
wolverian/asciimathml
A new home for asciimathml
wolverian/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
wolverian/bean
Read Homebrew API
wolverian/brew
🍺 The missing package manager for macOS (or Linux)
wolverian/cards
wolverian/cdk-lambda-insights-issue
wolverian/db-scheduler
Persistent cluster-friendly scheduler for Java
wolverian/dotfiles
wolverian/dynamo
expressive DynamoDB library for Go
wolverian/go-fuse
FUSE bindings for Go
wolverian/gongo
wolverian/goth.stack
wolverian/hello-garnix
wolverian/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
wolverian/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
wolverian/homebrew-tap
wolverian/kirjasto
wolverian/leancheck
enumerative property-based testing for Haskell
wolverian/mise
dev tools, env vars, task runner
wolverian/nix-devcontainer
Swiss army knife container for vscode development environments
wolverian/nixpacks
App source + Nix packages + Docker = Image
wolverian/otel-action
Create & upload OpenTelemetry traces of a GitHub actions workflow run to an OTLP compatible endpoint
wolverian/otel-export-trace-action
wolverian/pipes
Show CodePipeline status
wolverian/rakubits
wolverian/reitti
A simple router for arbitrary paths
wolverian/terraform-cdk
Define infrastructure resources using programming constructs and provision them using HashiCorp Terraform