wolverian

agda-template

A template for an Agda project with automatic GitHub Pages support

dawn

agda-reference-filter

fourmolu

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

agda

Agda is a dependently typed programming language / interactive theorem prover.

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

bean

Read Homebrew API

c2rust

Migrate C code to Rust

cards

cdk-lambda-insights-issue

dotfiles

dynamo

expressive DynamoDB library for Go

go-fuse

FUSE bindings for Go

hello-garnix

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)

leancheck

enumerative property-based testing for Haskell

mumu

nix-devcontainer

Swiss army knife container for vscode development environments

nixpacks

App source + Nix packages + Docker = Image

ormolu-vscode

A ormolu formatter VSCode plugin

otel-action

Create & upload OpenTelemetry traces of a GitHub actions workflow run to an OTLP compatible endpoint

otel-export-trace-action

parser-combinators

pipes

Show CodePipeline status

rakubits

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

wolverian

Config files for my GitHub profile.