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/ArcWelderLib
A collection of projects used to convert G0/G1 commands to G2/G3 commands.
coreyoconnor/armok-vision
A 3d realtime visualizer for Dwarf Fortress
coreyoconnor/chill
Scala extensions for the Kryo serialization library
coreyoconnor/circe
Yet another JSON library for Scala
coreyoconnor/d9vk
A d3d9 to vk layer based off DXVK's codebase.
coreyoconnor/dhewm3
dhewm 3 main repository
coreyoconnor/docker-client
INACTIVE: A simple docker client for the JVM
coreyoconnor/docs
System76 documentation site
coreyoconnor/docs.scala-lang
The Scala Documentation website
coreyoconnor/dotterweide
The Dotterweide embeddable mini-IDE for Scala
coreyoconnor/draw-svg
Stanford CS248 Assignment 1: Implement a simple SVG renderer
coreyoconnor/dxvk
Vulkan-based D3D11 and D3D10 implementation for Linux / Wine
coreyoconnor/fswebcam
A neat and simple webcam app
coreyoconnor/gcad3d
parametric 3D CAD with viewer, import, export, NC.
coreyoconnor/lsp-origami
lsp-mode :heart: origami.el
coreyoconnor/lsp-scala
Scala support for lsp-mode using metals
coreyoconnor/macOS-Simple-KVM
Tools to set up a quick macOS VM in QEMU, accelerated by KVM.
coreyoconnor/magic
coreyoconnor/material-shell
A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate windows in order to improve productivity. It's meant to be 100% predictable and bring the benefits of tools coveted by professionals to everyone.
coreyoconnor/MBDynFCwb
FreeCAD workbench based on code from MBDyn summer of code project.
coreyoconnor/mlt
MLT Multimedia Framework
coreyoconnor/musnix
Real-time audio in NixOS
coreyoconnor/os-lib
OS-Lib is a simple, flexible, high-performance Scala interface to common OS filesystem and subprocess APIs
coreyoconnor/scala
Scala 2 compiler and standard library. For bugs, see scala/bug
coreyoconnor/scala-js
Scala.js, the Scala to JavaScript compiler
coreyoconnor/scala-native-benchmarks
Staging area for new benchmarking infrastructure for Scala Native.
coreyoconnor/scalanative-gtk
scala-native bindings for Gtk+, GLib, ...
coreyoconnor/sdf
Sphere tracing signed distance functions.
coreyoconnor/timepp__gnome
A todo.txt manager, time tracker, timer, stopwatch, pomodoro, and alarms gnome-shell extension.
coreyoconnor/xmrig
RandomX, CryptoNight, AstroBWT and Argon2 CPU/GPU miner