Stars
SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2…
A Micro-benchmarking Framework for Python Type Inference Tools
Deadline countdowns for academic conferences in Software Engineering
Deadline countdowns for academic conferences in Security and Privacy
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc