Skip to content
@Mondego

Mondego Group, UC Irvine

Popular repositories Loading

  1. SourcererCC SourcererCC Public

    Sourcerer's Code Clone project

    Java 223 77

  2. Sourcerer Sourcerer Public

    Tools, services and applications for source code analysis and search

    HTML 62 23

  3. dafny-synthesis dafny-synthesis Public

    [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods

    Dafny 55 1

  4. pyreco pyreco Public

    Type discovery for Python

    Python 24 21

  5. oreo oreo Public

    Source code clone detection for clones in the Twilight Zone

    Java 23 10

  6. crawler4py crawler4py Public

    A web crawler in Python

    Python 22 17

Repositories

Showing 10 of 34 repositories
  • TLDR Public

    A fast and efficient Regression Testing tool

    Mondego/TLDR’s past year of commit activity
    Java 0 0 0 6 Updated Apr 9, 2026
  • VeriAct Public

    Verification-guided complete & correct formal specification synthesis.

    Mondego/VeriAct’s past year of commit activity
    Java 2 GPL-3.0 0 0 0 Updated Apr 7, 2026
  • mondego.github.io Public

    Mondego Research Group Official Site

    Mondego/mondego.github.io’s past year of commit activity
    SCSS 0 0 0 0 Updated Nov 9, 2025
  • SourcererJBF Public

    Sourcerer's Java Build Framework

    Mondego/SourcererJBF’s past year of commit activity
    Python 10 GPL-3.0 5 0 0 Updated Jul 11, 2025
  • ragman-frontend Public
    Mondego/ragman-frontend’s past year of commit activity
    TypeScript 3 MIT 10 0 1 Updated Sep 13, 2024
  • dafny-synthesis Public

    [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods

    Mondego/dafny-synthesis’s past year of commit activity
    Dafny 55 GPL-3.0 1 1 0 Updated Jun 9, 2024
  • spacetime-crawler4py Public

    Yet another Web crawler

    Mondego/spacetime-crawler4py’s past year of commit activity
    Python 13 1,103 0 6 Updated May 1, 2024
  • fse2023-tutorial Public
    Mondego/fse2023-tutorial’s past year of commit activity
    Python 5 GPL-2.0 2 0 0 Updated Dec 3, 2023
  • test-suite-parallelization Public
    Mondego/test-suite-parallelization’s past year of commit activity
    HTML 0 0 0 2 Updated Sep 1, 2022
  • baas Public

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

    Mondego/baas’s past year of commit activity
    Python 0 GPL-3.0 2 0 0 Updated Jun 3, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…