Software

Note: some additional software not listed here is hosted on our group's GitHub home.