Almost all of IOHKs work is open source! I think this is the repo.

https://github.com/input-output-hk/symphony-2