A Javascript wrapper to generate SMT-LIB 2.0 strings for SMT solvers
A lightweight library with helpful functions for NUS-related matters
A ruby wrapper interface for NUSModsAPI.