mondego Goto Github PK

baas

Build as a Service (BaaS): Build Arbitrary Java Projects

calswim

crawler4py

A web crawler in Python

dafny-synthesis

Towards AI-Assisted Synthesis of Verified Dafny Methods

deeptest

DeepTest API and examples

fse2023-tutorial

inf295

Data model for the simulation project

inspectorcloneartifacts

lda-studies

Assorted scripts for studying topic modeling in source code

nfbench-csharp

Early prototype of the NFR benchmark work

oreo

Source code clone detection for clones in the Twilight Zone

oreo-artifact

pcc

Classes that are also sets

pyreco

Type discovery for Python

ragman-frontend

rcat

A web server for massively multi-user online applications

rcat-android-client

Android client for RCAT, a server for massively multiplayer online applications.

rcat-gs

Spring 2011 C# (server), JS (graphical client) and Java (bot client) code for massively multi-user online games

sourcerer

Tools, services and applications for source code analysis and search

sourcerer-datasets

Source code datasets by Mondego group @ UC Irvine

sourcerercc

Sourcerer's Code Clone project

sourcererjbf

Sourcerer's Java Build Framework

space-race-android

spacetime

The spacetime framework for simulations

spacetime-apps

Applications on top of the spacetime framework

spacetime-crawler

The crawler apps using spacetime

spacetime-crawler4py

Yet another Web crawler

stackoverflow-analysis

test-suite-parallelization

tldr

A fast and efficient Regression Testing tool