Corey O'Connor

nix_configs. The NixOS configuration library I use for my homelab

sway-gnome. Opinionated Sway Configuration using GNOME session services, for GNOME 49

scalatromino. Scala

tensorderp. Scala

type-level-tf. Type level numerics for Haskell using type families. Based on type-level.

RCs. repo of all the RCs and configs I use

learn-coq. various exercises I've worked through (or failed to work through) while learning the proof assistant Coq.

retronix. RetroArch + NixOS + Opinions

bind-marshal. Haskell data marshaling layer. Uses type level equations to optimize buffering.

nixpkgs. Nix Packages collection

scala-gtk-example. Nix

xfpanel-plugin. Jenkins xfpanel plugin

all-of-type. Scala

sway. i3-compatible Wayland compositor

ComfyUI. The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.

scala-cli. Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)

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)

mill. Mill is a fast JVM build tool that supports Java and Scala. Mill aims to make your project’s build process performant, maintainable, and flexible

nix. Nix, the purely functional package manager

case-app. Type-level & seamless command-line argument parsing for Scala

cabal2nix. Generate Nix build instructions from a Cabal file

corebot-bliki. a git based wiki using yesod

emacs. An unofficial mirror of the semi-official git mirror of the official bazaar repository

build-flow-plugin. A plugin to manage job orchestration

scm-sync-configuration-plugin. Jenkins scm-sync-configuration plugin

OpenGL. Haskell bindings to OpenGL

slate. A window management application (replacement for Divvy/SizeUp/ShiftIt)

yi. The Haskell-Scriptable Editor

highlighting-kate. A syntax highlighting library in Haskell, based on Kate syntax definitions

minitap. TAP-Y/J Output Formats for MiniTest

Marlin. Reprap FW with look ahead. SDcard and LCD support. It works on Gen6, Ultimaker, RAMPS and Sanguinololu

wai. Haskell Web Application Interface

yesod. A RESTful Haskell web framework built on WAI.

tap-plugin. Jenkins TAP Plug-in

dyre. A Dynamic Reconfiguration Library for Haskell Programs

vty-ui. A terminal user interface programming library similar to graphical interfaces such as GTK and QT.

TermKit. Experimental Terminal platform built on WebKit + node.js. Currently only for Mac, though the prototype works 90% in any WebKit browser.

git. Git Source Code Mirror