jinwuxia

Lupa

A framework for the large scale analysis of programming language usage.

Scalpel

Scalpel: The Python Static Analysis Framework

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

ain

DeFi Blockchain - enabling decentralized finance on Bitcoin

Hero

Repo of www.hero-go.com/

slizaa-scanner-core

DeepTyper

dltpy

 🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context

NL2Type

NL2Type: Inferring JavaScript Function Types from Natural Language Information

LambdaNet

Probabilistic Type Inference using Graph Neural Networks

jscpd

Copy/paste detector for programming source code.

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

jMetal

jMetal: a framework for multi-objective optimization with metaheuristics

MonkeyType

A Python library that generates static type annotations by collecting runtime types

pytest-annotate

Generate PyAnnotate annotations from your pytest tests.

jdk

JDK main-line development https://openjdk.org/projects/jdk

esutils

utility box for ECMAScript language tools

machine_learn_reading_notes

关于算法、机器学习的一些读书笔记，思维导图

ASE2020_Logging_Location_Data

code_dependency

RefDiff

A tool to mine refactorings in the commit history of git repositories.

spoon

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

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

jpf-star

Test input generation using separation logic

OpenSZZ

SZZ Algorithm To Detect Fault-Inducing Commits