A tool for mining commits  from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis 

MIT License

coming

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.

Other

spoon

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. 

coming

spoon

coq