Aspen Smith's repositories
midje-notifier
Libnotify and OS X Notification Center output for Midje
categories
Categories parametrized by morphism equality, in Agda
advent-2019
Advent of Code 2019 (in Mercury)
agda-categories
A new Categories library for Agda
categories-examples
Examples of categorical structures
cider
The Clojure Interactive Development Environment that Rocks for Emacs
clj-docker-client
Idiomatic docker client for Clojure
clj-github-app
A library to implement GitHub Apps in Clojure.
clojure
The Clojure programming language
comonad-extras
Comonad transformers that require Haskell extensions
drone-kubernetes
A drone plugin to update a deployment on a kubernetes cluster
gipeda
Git Performance Dashboard
goedel
An extremely experimental, totally undecidable, annotation-free typechecker for idiomatic Clojure
home-manager
Manage a user environment using Nix
hyperband
Tuning hyperparams fast with Hyperband
java
Official Java client library for kubernetes
keyboard
Keyboard layout for my Ergodox EZ
nix
Nix, the purely functional package manager
nix-serve-nothing
A standalone Nix nothing server
nixery
Container registry which transparently builds images using the Nix package manager
nomnom.bunnicula
Clojure framework for building RabbitMQ message-queues & consumers
pytest-buildkite
Plugin for pytest that automatically publishes coverage and pytest report annotations to Buildkite
skype-markov
Skype-seeded markov natural language chain generator, for shits and giggles.
streams
Haskell 2010 stream comonads