Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / coreyoconnor
Developer Profile

coreyoconnor

Discovered public repositories for coreyoconnor in the GitHub catalog.

↗

coreyoconnor/ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://hackage.haskell.org/trac/ghc) or sent to the mailing list (ghc-devs@haskell.org)

↗

coreyoconnor/pegdown

A pure-Java Markdown processor based on a parboiled PEG parser supporting a number of extensions

↗

coreyoconnor/coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

↗

coreyoconnor/learn-coq

various exercises I've worked through (or failed to work through) while learning the proof assistant Coq.

↗

coreyoconnor/virtualbox-org-svn-vbox-trunk

Mirror using git-svn of the repository at http://www.virtualbox.org/svn/vbox/trunk (although the first 30569 commits are courtesy of https://gitorious.org/virtualbox/mainlinemirror)

↗

coreyoconnor/cabal-dev

A wrapper program around cabal and cabal-install that maintains sandboxed build environments.

↗

coreyoconnor/slate

A window management application (replacement for Divvy/SizeUp/ShiftIt)

↗

coreyoconnor/Marlin

Reprap FW with look ahead. SDcard and LCD support. It works on Gen6, Ultimaker, RAMPS and Sanguinololu

↗

coreyoconnor/emacs

An unofficial mirror of the semi-official git mirror of the official bazaar repository

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.