Free software tools for enabling a more moden software engineering process.
BMW Software Engineering
(Formal) Methods for a modern software process
Pinned
Repositories
Showing 8 of 8 repositories
-
-
- llvm-project Public Forked from llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
-