A source code is a set of statements written in a programming language.
Open source code is code made accessible for anyone to view, modify, utilize, and circulate.
A library is a registry of existing code directly available for use.
Github is an open source community platform where developers from all over the world can collaborate on projects together.
Formal verification compares an existing system against a specific standard relying on mathematical evidence and models.