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

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

gaia

Coq library on rewriting theory and termination

Other

color

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.

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

gaia

color

spoon

coq