Popular repositories Loading

1. has_array_of has_array_of Public

   ActiveRecord associations on top of PostgreSQL arrays

   Ruby 64 13

2. software_foundations software_foundations Public

   My solutions to Software Foundations course in Coq proof assistant.

   Rocq Prover 46 18

3. sidekiq-postpone sidekiq-postpone Public

   Bulk-pushes jobs to Sidekiq when you need it to.

   Ruby 43 3

4. etcd.erl etcd.erl Public archive

   Erlang bindings for etcd key value store

   Erlang 35 15

5. capistrano-friday capistrano-friday Public

   Warns you if deploying on friday!

   Ruby 31 5

6. dnsharper dnsharper Public

   Small DNS server to lookup local network IPs by their MAC addresses

   Go 22 1