Joseph Cox's repositories
ios_simulator_sensors
A basic solution to allow the inclusion of sensors into the iOS 6 simulator.
argocd-example-apps
Example Apps to Demonstrate Argo CD
codensity_io
Codensity.io Homepage
concat
Constrained categories
hstatic-example
An example of ghc static compilation with stack and docker
IHaskell
A Haskell kernel for IPython.
initramfs-tools
initramfs-tools packaging
intero-emacs
Customization of intero.el to work with a nixified stack
intervaltree
A mutable, self-balancing interval tree. Queries may be by point, by range overlap, or by range containment.
linux
Linux kernel source tree
magit-gh-issues
Github issues extension for Magit
magit-gh-pulls
Magit plugin for dealing with GitHub pull requests
nerdbar.widget
Übersicht system information bar for use with kwm window manager.
netlist
Netlist and Verilog Haskell Package
nixpkgs
Nix Packages collection
OutlookAutoMove
Quick Automator script to move items to a local folder in outlook.
pve-container
Proxmox VE container manager & runtime - read-only mirror
schuller-geometric
Source code for lecture notes
schuller-quantum
Source code for lecture notes
shaped-types
Experimenting with statically shaped types, GHC specialization, and reification
terraform-aws-eks-auth
A Terraform module to manage cluster authentication (aws-auth) for an Elastic Kubernetes (EKS) cluster on AWS.
terraform-provider-airbyte
Terraform Provider for Airbyte using the new Terraform Plugin Framework
test
Misc experiments