Repositories list

• ragman-frontend

  Public
  TypeScript

  •

  MIT License

  •9•1•0•1•Updated Sep 13, 2024Sep 13, 2024

• dafny-synthesis

  Public
  Towards AI-Assisted Synthesis of Verified Dafny Methods

  program-synthesisdafnyprogram-verification+ 1llms

  Dafny

  •

  GNU General Public License v3.0

  •0•32•0•0•Updated Jun 9, 2024Jun 9, 2024

• spacetime-crawler4py

  Public
  Yet another Web crawler

  Python

  •770•11•0•0•Updated May 1, 2024May 1, 2024

• fse2023-tutorial

  Public
  Python

  •

  GNU General Public License v2.0

  •2•5•0•0•Updated Dec 3, 2023Dec 3, 2023

• SourcererJBF

  Public
  Sourcerer's Java Build Framework

  Python

  •

  GNU General Public License v3.0

  •5•10•0•0•Updated Feb 7, 2023Feb 7, 2023

• test-suite-parallelization

  Public
  HTML

  •0•0•0•2•Updated Sep 1, 2022Sep 1, 2022

• TLDR

  Public
  A fast and efficient Regression Testing tool

  Java

  •0•0•0•9•Updated Jul 1, 2022Jul 1, 2022

• baas

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

  Python

  •

  GNU General Public License v3.0

  •2•0•0•0•Updated Jun 3, 2022Jun 3, 2022

• SourcererCC

  Public
  Sourcerer's Code Clone project

  Java

  •

  GNU General Public License v3.0

  •69•206•24•7•Updated May 17, 2022May 17, 2022

• oreo

  Public
  Source code clone detection for clones in the Twilight Zone

  Java

  •

  GNU General Public License v3.0

  •10•25•1•1•Updated Mar 14, 2022Mar 14, 2022

• spacetime

  Public
  The spacetime framework for simulations

  Python

  •19•20•15•1•Updated Feb 24, 2021Feb 24, 2021

• utilities

  Public
  MIT License

  •0•0•0•0•Updated Oct 21, 2020Oct 21, 2020

• spacetime-crawler

  Public
  The crawler apps using spacetime

  Python

  •22•4•0•1•Updated Sep 30, 2020Sep 30, 2020

• spacetime-apps

  Public
  Applications on top of the spacetime framework

  Python

  •2•3•0•0•Updated Jul 27, 2019Jul 27, 2019

• InspectorCloneArtifacts

  Public
  Python

  •

  GNU General Public License v3.0

  •1•0•1•0•Updated Jan 27, 2019Jan 27, 2019

• Stackoverflow-Analysis

  Public
  Java

  •0•2•0•0•Updated Nov 19, 2018Nov 19, 2018

• oreo-artifact

  Public
  Java

  •

  GNU General Public License v3.0

  •4•7•1•0•Updated Jul 20, 2018Jul 20, 2018

• DEEPTest

  Public
  DeepTest API and examples

  C#

  •

  MIT License

  •0•0•1•0•Updated Apr 23, 2018Apr 23, 2018

• pcc

  Public
  Classes that are also sets

  Python

  •1•4•1•1•Updated Apr 18, 2018Apr 18, 2018

• nfbench-csharp

  Public
  Early prototype of the NFR benchmark work

  C#

  •0•0•2•0•Updated Mar 25, 2018Mar 25, 2018

• pyreco

  Public
  Type discovery for Python

  Python

  •21•23•0•0•Updated Jun 27, 2016Jun 27, 2016

• inf295

  Public
  Data model for the simulation project

  Python

  •2•2•0•0•Updated Jun 14, 2016Jun 14, 2016

• crawler4py

  Public
  A web crawler in Python

  Python

  •17•21•1•0•Updated Mar 9, 2016Mar 9, 2016

• Sourcerer

  Public
  Tools, services and applications for source code analysis and search

  HTML

  •23•61•4•0•Updated Sep 11, 2015Sep 11, 2015

• Sourcerer-Datasets

  Public
  Source code datasets by Mondego group @ UC Irvine

  0•0•4•0•Updated Mar 10, 2015Mar 10, 2015

• calswim

  Public
  JavaScript

  •0•0•0•0•Updated Apr 6, 2014Apr 6, 2014

• LDA-studies

  Public
  Assorted scripts for studying topic modeling in source code

  Java

  •

  GNU General Public License v2.0

  •2•3•0•0•Updated Mar 28, 2014Mar 28, 2014

• TubeKit

  Public
  crawler for YouTube

  PHP

  •18•5•3•0•Updated Feb 24, 2014Feb 24, 2014

• rcat-android-client

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

  Java

  •

  MIT License

  •0•2•8•0•Updated Sep 22, 2013Sep 22, 2013

• space-race-android

  Public
  Java

  •

  GNU General Public License v2.0

  •1•0•0•0•Updated Sep 22, 2013Sep 22, 2013