This Web page shows software that has been developed by this laboratory. By software, we refer to tools, libraries, frameworks, paradigms, and even programming language extensions. Some software description provides the repository information (eg, GitHub) and the main related publication.