Mondego Group, UC Irvine

Mondego Group, UC Irvine's repositories

dafny-synthesis

Towards AI-Assisted Synthesis of Verified Dafny Methods

Language:DafnyGPL-3.02600

spacetime-crawler4py

Yet another Web crawler

Language:Python900

ragman-frontend

Language:TypeScriptMIT100

fse2023-tutorial

Language:PythonGPL-2.0500

SourcererJBF

Sourcerer's Java Build Framework

Language:PythonGPL-3.0900

test-suite-parallelization

Language:HTML000

TLDR

A fast and efficient Regression Testing tool

Language:Java000

baas

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

Language:PythonGPL-3.0000

SourcererCC

Sourcerer's Code Clone project

Language:JavaGPL-3.019900

oreo

Source code clone detection for clones in the Twilight Zone

Language:JavaGPL-3.02200

spacetime

The spacetime framework for simulations

Language:Python2000

utilities

MIT000

spacetime-crawler

The crawler apps using spacetime

Language:Python400

spacetime-apps

Applications on top of the spacetime framework

Language:Python300

InspectorCloneArtifacts

Language:PythonGPL-3.0000

Stackoverflow-Analysis

Language:Java200

oreo-artifact

Language:JavaGPL-3.0700

DEEPTest

DeepTest API and examples

Language:C#MIT000

pcc

Classes that are also sets

Language:Python400

nfbench-csharp

Early prototype of the NFR benchmark work

Language:C#000

pyreco

Type discovery for Python

Language:Python2400

inf295

Data model for the simulation project

Language:Python200

crawler4py

A web crawler in Python

Language:Python2100

Sourcerer

Tools, services and applications for source code analysis and search

Language:HTML6100

Sourcerer-Datasets

Source code datasets by Mondego group @ UC Irvine

000

calswim

Language:JavaScript000

LDA-studies

Assorted scripts for studying topic modeling in source code

Language:JavaGPL-2.0300

TubeKit

crawler for YouTube

Language:PHP500

rcat-android-client

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

Language:JavaMIT200

space-race-android

Language:JavaGPL-2.0000