Gunjan Aggarwal's repositories
infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCamlNOASSERTION000
Language:Coq000
pfunit-demo
Unit test demo using pFUnit.
Language:CMakeBSD-3-Clause000
home-assistant
:house_with_garden: Open-source home automation platform running on Python 3
Language:PythonMIT000