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/dawn
wolverian/agda-reference-filter
wolverian/fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
wolverian/agda
Agda is a dependently typed programming language / interactive theorem prover.
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/c2rust
Migrate C code to Rust
wolverian/cards
wolverian/cdk-lambda-insights-issue
wolverian/dotfiles
wolverian/dynamo
expressive DynamoDB library for Go
wolverian/go-fuse
FUSE bindings for Go
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/leancheck
enumerative property-based testing for Haskell
wolverian/mumu
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/parser-combinators
wolverian/pipes
Show CodePipeline status
wolverian/rakubits
wolverian/terraform-cdk
Define infrastructure resources using programming constructs and provision them using HashiCorp Terraform
wolverian/vscode-dev-containers
A repository of development container definitions for the VS Code Remote - Containers extension and GitHub Codespaces
wolverian/wolverian
Config files for my GitHub profile.