marshall-lee/software_foundations

Stars
30
Rank 839,658 (Top 17 %)
Language Coq
License
MIT License
Created over 7 years ago
Updated 5 months ago

marshall-lee/software_foundations

marshall-lee

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My solutions to Software Foundations course in Coq proof assistant.

has_array_of

ActiveRecord associations on top of PostgreSQL arrays

sidekiq-postpone

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

etcd.erl

Erlang bindings for etcd key value store

capistrano-friday

Warns you if deploying on friday!

dnsharper

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

nested_record

Map JSON fields on ActiveModel objects

capistrano-shell

Opens SSH shell on remote host in current release directory

gana

ann

dotfiles

tricky_signals

Escaping Ruby's Signal.trap!

rack-with_sequel

Rack middleware that explicitely acquires a Sequel connection from the pool per request

function_object

Nice callable objects!

heroku-buildpack-friday

capistrano-friday port for heroku

aes_ige

Erlang NIF for AES-IGE encryption

go-mach

A Go interface to the user-space API of the Mach kernel that underlies macOS and is linked via libSystem

kyotocabinet-ruby

kyotocabinet-ruby reanimated!

otr

libotr ruby binding

acts_as_ltree

Yet another hierarchy plugin for ActiveRecord using PostgreSQL's ltree

regressed

the_iron_searcher

text search tool written in Haskell

erlprimes

sum of prime numbers in erlang

rubik-snake

Rubik's snake implementation using phoria.js