LiveIssues
AboutCode
SecurityScan code for origin, license and vulnerabilities
16 results
Accord Project
Programming languagesOpen source software for smart legal contracts
CGAL Project
Science and medicineC++ library of computational geometry
checkstyle
Programming languagesHelps to adheres of Java coding standard
Fortran-lang
Programming languagesHigh-performance parallel programming language
Free and Open Source Silicon Foundation
OtherWorking together for Free and Open Source Silicon
Haskell.org
Programming languagesPurely functional programming language
Swift
Programming languagesFast, safe, and expressive programming language
The JPF team
Programming languagesJPF is a Java VM used to verify and debug software
The Julia Language
Science and medicineA fresh approach to technical computing
Checker Framework
SecurityPrevent programming errors via simple verification
CASTOR
Programming languagesTrustworthy software intensive systems for critical functions.
coala
Programming languagesLinting and Fixing Code for All Languages
Shogun
Science and medicineUnified and efficient Machine Learning
Xapian Search Engine Library
DataFast, scalable and flexible search
PMD
Programming languagesAn extensible cross-language static code analyzer.