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
Nix, the purely functional package manager
coreyoconnor/3d-printing
Misc 3D printing source code. OpenSCAD expirements.
coreyoconnor/aragon
Aragon dapp to create and manage decentralized organizations on Ethereum.
coreyoconnor/aragon-apps
Core apps for Aragon
coreyoconnor/aragon-dev-cli
CLI for creating and publishing Aragon modules
coreyoconnor/aragon-ui
UI toolkit for Aragon
coreyoconnor/aragonOS
Official reference implementation for aragonOS
coreyoconnor/bioformats
Bio-Formats is a Java library for reading and writing data in life sciences image file formats. It is developed by the Open Microscopy Environment (particularly UW-Madison LOCI and Glencoe Software). Bio-Formats is released under the GNU General Public License (GPL); commercial licenses are available from Glencoe Software.
coreyoconnor/ccminer-cryptonight
Software for mining various cryptocoins, like Monero
coreyoconnor/collapsing-towers
Collapsing Towers of Interpreters
coreyoconnor/ensime-server
ENSIME JVM Process
coreyoconnor/filestore
A versioning file store backed by git, darcs, or mercurial
coreyoconnor/lms-black
compiling a reflective language
coreyoconnor/nginx-ex
An example application repository for the s2i nginx builder image
coreyoconnor/nix-docker
Docker images for the Nix package manager
coreyoconnor/nix-org
Nixpkgs organization modules.
coreyoconnor/nix-serve
A standalone Nix binary cache server
coreyoconnor/node-aragon
A JavaScript library for interacting with Aragon
coreyoconnor/ofborg
@grahamcofborg tooling automation
coreyoconnor/origin
Enterprise Kubernetes for Developers
coreyoconnor/QGIS
QGIS is a free, open source, cross platform (lin/win/mac) geographical information system (GIS)
coreyoconnor/sbt-sam
Plugin to create enterprise-cloud applications leveraging SBT and the SAM component model
coreyoconnor/Sbtix
Generates Nix definitions from your SBT builds
coreyoconnor/Scallina
A Coq-based synthesis of Scala programs which are correct-by-construction
coreyoconnor/Sia
Blockchain-based marketplace for file storage
coreyoconnor/simply-typed-object-algebra
Using object algebras / final tagless to implement a simply typed language.
coreyoconnor/systemd
systemd upstream
coreyoconnor/vkQuake
Vulkan Quake port based on QuakeSpasm
coreyoconnor/win32
Haskell support for the Win32 API
coreyoconnor/x3f
Tools for manipulating X3F files from Sigma cameras