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/type-level-tf
Type level numerics for Haskell using type families. Based on type-level.
coreyoconnor/cabal2nix
Generate Nix build instructions from a Cabal file
coreyoconnor/emacs
An unofficial mirror of the semi-official git mirror of the official bazaar repository
coreyoconnor/git
Git Source Code Mirror
coreyoconnor/highlighting-kate
A syntax highlighting library in Haskell, based on Kate syntax definitions
coreyoconnor/OpenGL
Haskell bindings to OpenGL
coreyoconnor/scm-sync-configuration-plugin
Jenkins scm-sync-configuration plugin
coreyoconnor/TermKit
Experimental Terminal platform built on WebKit + node.js. Currently only for Mac, though the prototype works 90% in any WebKit browser.
coreyoconnor/vty-ui
A terminal user interface programming library similar to graphical interfaces such as GTK and QT.
coreyoconnor/wai
Haskell Web Application Interface
coreyoconnor/puppet-jenkins
Puppet module for Jenkins