This specific one came out a few hours ago and is pretty auditable even if those two don't disclose their implementation for this tiny part.
Other than that many, in fact most of those I know to be active, tracing efforts are pretty open, the one you linked is definitely not the only one that currently publishes their source or plans to do so in the near future. There's even been others in this thread.
I believe the idea here is that the tracing is done at the platform level, where you can both have different capabilities with the wireless functions of the device, and can have different privacy constraints on usage compared to those of application sandboxing.
I was expecting that people would organize around git repos - but no, just one of the many COVID tracing initiatives published their code.
It is https://github.com/tripleblindmarket/covid-safe-paths by the way.