GSoC Organizations
Clear all filters
Shortcuts
First-time organizations (34)
View all
Years
2024
2023
2022
2021
2020
2019
View all
Categories
Data
Development tools
End user applications
Infrastructure and cloud
Media
Operating systems
View all
Technologies
python (267)
javascript (215)
c (168)
c++ (165)
java (115)
android (52)
View all
Topics
web (89)
machine learning (60)
cloud (57)
graphics (41)
education (32)
data science (30)
View all
Checker Framework
Visit Site
Prevent programming errors before they happen, via easy-to-use verification
Category
Programming languages
Years
2020
2019
2018
2017
Technologies
java
Topics
software engineering
verification
programmer productivity
bug finding
pragrammer productivity
programming languages
type systems
Past Projects
2020
2019
2018
2017
Annotating Google Gson Library
Priti Chattopadhyay
Checker framework is a great lightweight tool which could easily type check code having a dependency on a library if the library has already been...
More Details
Code Submission
Tainted Checker Overhaul
Aditya Singh
The Tainted Checker Overhaul aims to be an extension of the Tainted Checker Framework, extending the concept of tainted data and upgrading its...
More Details
Code Submission
