Corey O'Connor's repositories
3d-printing
Misc 3D printing source code. OpenSCAD expirements.
android-emulator-plugin
Android Emulator plugin for Jenkins
Anki-Android
Anki on Android
ansi-terminal
Simple Haskell ANSI terminal support, with Windows compatibility
aragon
Aragon dapp to create and manage decentralized organizations on Ethereum.
aragon-apps
Core apps for Aragon
aragon-dev-cli
CLI for creating and publishing Aragon modules
aragon-ui
UI toolkit for Aragon
aragonOS
Official reference implementation for aragonOS
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.
ccminer-cryptonight
Software for mining various cryptocoins, like Monero
collapsing-towers
Collapsing Towers of Interpreters
ensime-server
ENSIME JVM Process
filestore
A versioning file store backed by git, darcs, or mercurial
hello-scaloid-sbt
This is a "Hello, world" for Scaloid with sbt.
lms-black
compiling a reflective language
nginx-ex
An example application repository for the s2i nginx builder image
nix-org
Nixpkgs organization modules.
nix-serve
A standalone Nix binary cache server
node-aragon
A JavaScript library for interacting with Aragon
RetroArch
Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
scalaxy-reified
Scalaxy/Reified: compose ASTs at runtime for extreme modularity & speedups!
Sia
Blockchain-based marketplace for file storage
simply-typed-object-algebra
Using object algebras / final tagless to implement a simply typed language.
win32
Haskell support for the Win32 API
x3f
Tools for manipulating X3F files from Sigma cameras