CD2H gitForager

Shea Levy

Login: shlevy

Company: null

Location: Portsmouth, NH

Bio: null

Blog: blog.shealevy.com

Member of

Repositories

active_merchant: Active Merchant is a simple payment abstraction library used in and sponsored by Shopify. It is written by Tobias Luetke, Cody Fauser, and contributors. The aim of the project is to feel natural to Ruby users and to abstract as many parts as possible away from the user to offer a consistent interface across all supported gateways.
after-find-bug: A sample project to illustrate a strange bug in Rails 3 relating to the after_find hook
amazonka: A comprehensive Amazon Web Services SDK for Haskell.
AndroidModel: Base model class for Android
arithmoi: arithmoi is currently maintained here
arte-ephys: Soft realtime electrophysiology setup
arte-icfp-2016: Repository for ICFP 2016 arte experience report
arte-icfp-2016-build-scripts: Build scripts for arte projects referenced in arte-icfp-216
ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates
ATS-Postiats-contrib: ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
aws-cli: AWS CLI based on brendanhay/amazonka
aws-ec2: AWS EC2/VPC, ELB and CloudWatch client library for Haskell
BackgroundFinalizer: .net finalizers that run in the application background
bdwgc: The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehm-gc)
build_association_test: A repo to illustrate a bug in Rails's association handling
cabal: Official upstream development repository for Cabal and cabal-install
cabal2nix: Generate Nix build instructions from a Cabal file
catalyst-action-rest: The Catalyst::Action::REST Distribution
cat-fiat: An attempt to formalize unix cat in fiat
chell: Fork of https://john-millikin.com/code/chell/
coffee-script: Unfancy JavaScript
compliment-bot: A set of scripts to send compliments to someone at random intervals!
compsh: The compiling shell
config: Personal system configuration
coordinate: A representation of latitude and longitude
cowsay-haskell: A cowsay implementation in Haskell
curl: Curl is a tool and libcurl is a library for transferring data with URL syntax, supporting FTP, FTPS, HTTP, HTTPS, GOPHER, TFTP, SCP, SFTP, TELNET, DICT, LDAP, LDAPS, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features
dbix-class: Official github remote for git.shadowcat.co.uk DBIx-Class.git
DBIx-Class-Helpers: null
declarative-hydra-example: An example illustrating declarative hydra projects
deepseq-generics: GHC.Generics-based Control.DeepSeq.rnf implementation
defnix: zalora nix expressions library
dotfiles: Various configuration files
elvysh-errno: Functions and views for safe handling of `errno`.
elvysh-filedes: Functions and views for safe handling of UNIX file descriptors.
elvysh-main: Headers to define alternative program entry points.
elvysh-project-documentation: Documentation for the elvysh ATS library project
fake-s3: A lightweight server clone of Amazon S3 that simulates most of the commands supported by S3 with minimal dependencies
f.el: Modern API for working with files and directories in Emacs
FreeRDP: FreeRDP is a free remote desktop protocol client
fwupd: A simple daemon to allow session software to update firmware
ghc: null
ghc-exactprint: GHC version of haskell-src-exts exactPrint
glibc: Working fork of upstream glibc repo git://sourceware.org/git/glibc.git
gnupg: GNU Privacy Guard
gridify: Ruby wrapper for jqGrid
grub: Fork of grub source at git://git.savannah.gnu.org/grub.git
gvoice-ruby: Google Voice Ruby Client
hadoop-tools: Tools for working with Hadoop, written with performance in mind.
haskell-ide-engine: The engine for haskell ide-integration. Not an IDE
haskell-options: Fork of https://john-millikin.com/code/haskell-options/
haskell-socket: A Haskell binding to the POSIX sockets API
haskell-socket-sctp: STCP socket extensions library.
hnix: null
hscurses: ncurses binding for Haskell
hs-securemem: abstraction for auto scrubbing and const time Eq, memory chunk
hydra: Hydra, the Nix-based continuous build system
hydra-github-status-test: Test for github status plugin
Idris-dev: A Dependently Typed Functional Programming Language
indexed-exception: null
inherit-local: An emacs library for inheriting buffer-local variables
ios-cross: null
ip-quoter: Quasiquoter for IP addresses
jnr-enxio: Java Native Runtime Enhanced X-platform I/O
knox: S3 Lib
kraken: null
kubernetes: Production-Grade Container Scheduling and Management
lambductive: A lambda calculus with tarski universes, pi types, and self-referential expressions
lean: Lean Theorem Prover
lein2nix: Generate nix expressions from leiningen projects
libatomic_ops: The atomic_ops project (Atomic memory update operations portable implementation)
libgpg-error: Error codes used by GnuPG et al.
libsystemd-journal: Haskell bindings to libsystemd-journal
linkpaper: Automatically sync a local file to a google drive file
linux: Linux kernel source tree
liquidhaskell: Liquid Types For Haskell
llvm-general: Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
long-shebang: A tool for #! scripts with more than one argument
melpa: Scripts for building Emacs packages from Version Control
milena: the (very humble) beginnings of a kafka client for haskell
mindmup: Zero friction online mind mapping
module-init-tools: Most up-to-date copy I could find while git.kernel.org is down
mvn2nix-maven-plugin: Generate project-info.json for use with nix's Maven repository generation functions
MyWebSQL: Next generation tool for database web administration
net-amazon-s3: Use the Amazon S3 - Simple Storage Service from Perl
nix: Nix, the purely functional package manager
nix-adt: A library for using algebraic data types in the Nix expression language.
nix-buffer: nix-shell for emacs buffers
nix-exec: Run programs defined in nix expressions
nix-make: Experimental Nix build management stuff
nixops: Charon, the NixOS-based cloud deployment tool
nixos: NixOS, a Linux distribution based on the Nix package manager
nixos-homepage: Sources for nixos.org
nixos-riscv-bootstrap: Nix expressions to help bootstrap our way to full RISC-V support on NixOS.
nixos-types: Data types to represent the Nix language
nixpkgs: Nix Packages collection
nixpkgs-development-support: Out-of-tree implementation of https://github.com/NixOS/rfcs/pull/10
nix-plugins: Collection of miscellaneous plugins for the nix expression language
node: evented I/O for v8 javascript
nodejs-nix: Basic node.js application and dev environment with Nix
node-semver: The semver parser for node (the one npm uses)
notmuch: Fork of git://notmuchmail.org/git/notmuch
npm2nix: Generate nix expressions to build npm packages
numaallocator: Simple C++11 and beyond allocator to control
Oat: Real-time position tracker for behavioral research
ofborg-stats: Library for parsing out ofborg statistics
open-instruments-core: Core open instruments API
pomegranate: A sane Clojure API for Sonatype Aether + dynamic runtime modification of the classpath
protobuf-fieldlenses-th: Field lenses for haskell protobuf message types
qemu: Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored.
qualitative-order: Mathematical formalism of qualitatively ordered types
real-world-reflex: Real World Reflex Presentation
ref-trans: null
restful-authorization-media-types: Media types for a RESTful authorization service
rfcs: The Nix community RFCs
riscv-elf-psabi-doc: A RISC-V ELF psABI Document
riscv-linux: RISC-V Linux Port
riscv-qemu: QEMU with RISC-V (RV64G, RV32G) Emulation Support
rt: Request Tracker, an enterprise-grade issue tracking system
s3http: null
servant: Main repository for the servant libraries. Web API combinators, with servers, clients and documentation
service-runner: null
shlevy-backup: Personal backup tools
shlevy-desktop-tools: Miscellaneous tools for my desktop environment
simple-conduit: null
sjcl: Stanford Javascript Crypto Library
socket-activate: null
sproxy: secure proxy - HTTP proxy for authenticating users via Google OAuth2
stop-shouting: Chromium extension to make ALL CAPS readable.
strongswan: strongSwan - IPsec for Linux
systemd: ? ?? ? systemd System and Service Manager
tetrode-ephys: Libraries for single-unit recording data
twee: An equational theorem prover based on Knuth-Bendix completion
upcast: nix-based linux deployment platform tools ??????? ? ???
verified-left-pad: A verified memory-safe correct implementation of left-pad in ats2
xcode2nix: Generate Nix build instructions from an xcode build file
xcode-types: Data types to represent Xcode projects
xdg-basedir: A Straightforward Implementation of the XDG Base Directory Specification
xf86-input-mtrack: Xorg Multitouch Trackpad Driver

Commits To

Repository	Most Recent Commit	# Commits

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.