Jane's starred repositories
flawfinder
a static analysis tool for finding vulnerabilities in C/C++ source code
robust-services-core
Robust applications framework in C++. Includes a static analysis tool and two applications.
B629-denotational
Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
gated-graph-neural-network-samples
Sample Code for Gated Graph Neural Networks
awesome-fenix
讨论如何构建一套可靠的大型分布式系统
mypy-django
PEP-484 type hints bindings for the Django web framework
MonkeyType
A Python library that generates static type annotations by collecting runtime types
pytest-annotate
Generate PyAnnotate annotations from your pytest tests.
machine_learn_reading_notes
关于算法、机器学习的一些读书笔记,思维导图
CoChangeAnalysis
Analyzes the git structure of a project to find the best configuration of co-change detection.
HideNoSeek
Static data flow-based analysis of JavaScript files to detect syntactic clones