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 for my desktop.
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/nix_configs
The NixOS configuration for my desktop.
coreyoconnor/sway-gnome
Opinionated Sway Configuration using GNOME session services, for GNOME >= 3.34
coreyoconnor/RCs
repo of all the RCs and configs I use
coreyoconnor/scalatromino
coreyoconnor/nixpkgs
Nix Packages collection
coreyoconnor/retronix
RetroArch + NixOS + Opinions
coreyoconnor/case-app
Type-level & seamless command-line argument parsing for Scala
coreyoconnor/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
coreyoconnor/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!)
coreyoconnor/scala-gtk-example
coreyoconnor/sway
i3-compatible Wayland compositor
coreyoconnor/all-of-type
coreyoconnor/almond
A Scala kernel for Jupyter
coreyoconnor/Ammonite
Scala Scripting
coreyoconnor/ComfyUI
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
coreyoconnor/gen-models
coreyoconnor/hid-asus-mouse
HID driver for ASUS ROG & TUF mice providing generation of keyboard events.
coreyoconnor/home-hive
coreyoconnor/libratbag
A DBus daemon to configure input devices, mainly high-end and gaming mice
coreyoconnor/micrometer
An application observability facade for the most popular observability tools. Think SLF4J, but for observability.
coreyoconnor/nixos-hardware
A collection of NixOS modules covering hardware quirks.
coreyoconnor/RetroArch
Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
coreyoconnor/scala
Scala 2 compiler and standard library. For bugs, see scala/bug
coreyoconnor/scala-native
Your favorite language gets closer to bare metal.
coreyoconnor/scala-native-cli
Command Line Interface for Scala Native
coreyoconnor/scala-native-gtk-bindings
Scala Native bindings To Gtk4 C API
coreyoconnor/scala-yaml
coreyoconnor/sn-bindgen
Scala 3 native binding generator + libclang facade
coreyoconnor/streamdeck-linux-gui
A Linux compatible UI for the Elgato Stream Deck.
coreyoconnor/syaml
Scala YAML lexer and parser