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/nix_configs
The NixOS configuration library I use for my homelab
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/all-of-type
coreyoconnor/case-app
Type-level & seamless command-line argument parsing for Scala
coreyoconnor/ComfyUI
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
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/home-hive
coreyoconnor/micrometer
An application observability facade for the most popular observability tools. Think SLF4J, but for observability.
coreyoconnor/minart
A minimal Scala creative coding library targeting JVM/Javascript/Native
coreyoconnor/nix-configs-lib
a silly flake I use to manage my computers
coreyoconnor/nix_configs-example
coreyoconnor/nixos-hardware
A collection of NixOS modules covering hardware quirks.
coreyoconnor/PicoHTTPTerm
coreyoconnor/pyobd-nixos
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/scodec-bits
Provides immutable datatypes for working with bits and bytes
coreyoconnor/sn-bindgen
Scala 3 native binding generator + libclang facade
coreyoconnor/syaml
Scala YAML lexer and parser
coreyoconnor/valent
Connect, control and sync devices