Vladimir Kochnev marshall-lee

Popular repositories Loading

1. ActiveRecord associations on top of PostgreSQL arrays

   Ruby 63 14

2. My solutions to Software Foundations course in Coq proof assistant.

   Rocq Prover 45 18

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

   Ruby 43 3

4. Erlang bindings for etcd key value store

   Erlang 35 15

5. Warns you if deploying on friday!

   Ruby 30 5

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

   Go 22 1