Pinned Repositories
aes_ige
Erlang NIF for AES-IGE encryption
capistrano-friday
Warns you if deploying on friday!
capistrano-shell
Opens SSH shell on remote host in current release directory
dnsharper
Small DNS server to lookup local network IPs by their MAC addresses
etcd.erl
Erlang bindings for etcd key value store
gana
has_array_of
ActiveRecord associations on top of PostgreSQL arrays
nested_record
Map JSON fields on ActiveModel objects
sidekiq-postpone
Bulk-pushes jobs to Sidekiq when you need it to.
software_foundations
My solutions to Software Foundations course in Coq proof assistant.
marshall-lee's Repositories
marshall-lee/has_array_of
ActiveRecord associations on top of PostgreSQL arrays
marshall-lee/sidekiq-postpone
Bulk-pushes jobs to Sidekiq when you need it to.
marshall-lee/software_foundations
My solutions to Software Foundations course in Coq proof assistant.
marshall-lee/dnsharper
Small DNS server to lookup local network IPs by their MAC addresses
marshall-lee/nested_record
Map JSON fields on ActiveModel objects
marshall-lee/dotfiles
marshall-lee/go-mach
A Go interface to the user-space API of the Mach kernel that underlies macOS and is linked via libSystem
marshall-lee/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
marshall-lee/anyway_config
Configuration library for Ruby gems and applications
marshall-lee/arch-starter
marshall-lee/byebug
Debugging in Ruby 2
marshall-lee/composite_primary_keys
Composite Primary Keys support for Active Record
marshall-lee/container-tahoe-lafs
Building the container image for tahoe-lafs
marshall-lee/csv
CSV Reading and Writing
marshall-lee/dope
marshall-lee/go-shadowsocks2
Modern Shadowsocks in Go
marshall-lee/golang-net
[mirror] Go supplementary network libraries
marshall-lee/hashtables
Mutable hash tables for Haskell, in the ST monad
marshall-lee/helm-go-shadowsocks2
marshall-lee/helm-projectile
Helm UI for Projectile
marshall-lee/net-http-persistent
Thread-safe persistent connections with Net::HTTP
marshall-lee/postgresql-libpq
Low-level Haskell bindings for libpq
marshall-lee/rebase
A more progressive alternative to the "base" package
marshall-lee/rerebase
Reexports from "base" with a bunch of other standard libraries
marshall-lee/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
marshall-lee/template-haskell-compat-v0208
A backwards compatibility layer for Template Haskell newer than 2.8
marshall-lee/testify
A toolkit with common assertions and mocks that plays nicely with the standard library
marshall-lee/v2ray-plugin
A SIP003 plugin based on v2ray
marshall-lee/word-compat
Compatibility shim for GHC's small integer primitives
marshall-lee/yard
YARD is a Ruby Documentation tool. The Y stands for "Yay!"