Pinned Repositories
bind-marshal
Haskell data marshaling layer. Uses type level equations to optimize buffering.
learn-coq
various exercises I've worked through (or failed to work through) while learning the proof assistant Coq.
nix_configs
The NixOS configuration library I use for my homelab
nixpkgs
Nix Packages collection
RCs
repo of all the RCs and configs I use
retronix
RetroArch + NixOS + Opinions
scalatromino
sway-gnome
Opinionated Sway Configuration using GNOME session services, for GNOME >= 3.34
tensorderp
type-level-tf
Type level numerics for Haskell using type families. Based on type-level.
coreyoconnor's Repositories
coreyoconnor/learn-coq
various exercises I've worked through (or failed to work through) while learning the proof assistant Coq.
coreyoconnor/build-flow-plugin
A plugin to manage job orchestration
coreyoconnor/cabal-dev
A wrapper program around cabal and cabal-install that maintains sandboxed build environments.
coreyoconnor/corebot-bliki
a git based wiki using yesod
coreyoconnor/git-plugin
Git plugin for Jenkins
coreyoconnor/Marlin
Reprap FW with look ahead. SDcard and LCD support. It works on Gen6, Ultimaker, RAMPS and Sanguinololu
coreyoconnor/minitap
TAP-Y/J Output Formats for MiniTest
coreyoconnor/nodelabelparameter-plugin
a jenkins plugin supporting dynamic label assignment
coreyoconnor/slate
A window management application (replacement for Divvy/SizeUp/ShiftIt)
coreyoconnor/tap-plugin
Jenkins TAP Plug-in
coreyoconnor/virtualbox-org-svn-vbox-trunk
Mirror using git-svn of the repository at http://www.virtualbox.org/svn/vbox/trunk (although the first 30569 commits are courtesy of https://gitorious.org/virtualbox/mainlinemirror)
coreyoconnor/xfpanel-plugin
Jenkins xfpanel plugin
coreyoconnor/yesod
A RESTful Haskell web framework built on WAI.
coreyoconnor/android-scala-test
Simple proof-of-concept for an Android project using Scala and Maven.
coreyoconnor/aws-sdk
AWS SDK for Haskell
coreyoconnor/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coreyoconnor/criterion
A powerful but simple library for measuring the performance of Haskell code.
coreyoconnor/email-ext-plugin
Jenkins email-ext plugin
coreyoconnor/greenballs-plugin
Jenkins greenballs plugin
coreyoconnor/jdee
Clone from https://jdee.svn.sourceforge.net/svnroot/jdee/trunk/jdee
coreyoconnor/jenkins
Jenkins Continuous Integration Server
coreyoconnor/jira-ruby
A Ruby gem for the JIRA 5 REST API
coreyoconnor/minitest-reporters
Create customizable MiniTest output formats.
coreyoconnor/osxmonad
Tiling window manager for Mac OS X.
coreyoconnor/puppet-mosh
Puppet module for Mosh
coreyoconnor/roundsman
coreyoconnor/template-project-plugin
Jenkins template-project plugin
coreyoconnor/viewcumber
Cucumber formatter for easily viewing each step of your scenarios
coreyoconnor/zeppelin
Urban Airship library for Ruby
coreyoconnor/zuora
ActiveModel backed Zuora integration