Mondego Group, UC Irvine's repositories
SourcererCC
Sourcerer's Code Clone project
dafny-synthesis
Towards AI-Assisted Synthesis of Verified Dafny Methods
crawler4py
A web crawler in Python
spacetime-crawler4py
Yet another Web crawler
SourcererJBF
Sourcerer's Java Build Framework
spacetime-crawler
The crawler apps using spacetime
LDA-studies
Assorted scripts for studying topic modeling in source code
spacetime-apps
Applications on top of the spacetime framework
rcat-android-client
Android client for RCAT, a server for massively multiplayer online applications.
Language:PythonGPL-3.0000
nfbench-csharp
Early prototype of the NFR benchmark work
Language:C#000
Sourcerer-Datasets
Source code datasets by Mondego group @ UC Irvine
Language:JavaGPL-2.0000