A static analyzer for Java, C, C++, and Objective-C
Truly a developer’s best friend. Scout APM is great for developers who want to find and fix performance issues in their applications. With Scout, we'll take care of the bugs so you can focus on building great things 🚀.
Formally Verifying Industry Cryptography
2 projects | news.ycombinator.com | 14 Jul 2022
Hard Things in Computer Science
2 projects | news.ycombinator.com | 28 Jun 2022
How to use Coq and C in practical software development for "verified C"?
1 project | reddit.com/r/C_Programming | 28 Mar 2022
How to make develop C application easier?
2 projects | reddit.com/r/C_Programming | 28 Mar 2022
Meta Open-Sources A Compositional Deadlock Detector for Android Java
1 project | reddit.com/r/androiddev | 9 Mar 2022