nanosatisfi's open source code