Skip to content
@Mondego

Mondego Group, UC Irvine

Popular repositories Loading

  1. SourcererCC SourcererCC Public

    Sourcerer's Code Clone project

    Java 212 69

  2. Sourcerer Sourcerer Public

    Tools, services and applications for source code analysis and search

    HTML 61 23

  3. dafny-synthesis dafny-synthesis Public

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

    Dafny 42

  4. oreo oreo Public

    Source code clone detection for clones in the Twilight Zone

    Java 24 10

  5. pyreco pyreco Public

    Type discovery for Python

    Python 23 21

  6. crawler4py crawler4py Public

    A web crawler in Python

    Python 22 17

Repositories

Showing 10 of 32 repositories
  • ragman-frontend Public
    TypeScript 1 MIT 9 0 1 Updated Sep 13, 2024
  • dafny-synthesis Public

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

    Dafny 42 GPL-3.0 0 0 0 Updated Jun 9, 2024
  • spacetime-crawler4py Public

    Yet another Web crawler

    Python 11 846 0 3 Updated May 1, 2024
  • fse2023-tutorial Public
    Python 5 GPL-2.0 2 0 0 Updated Dec 3, 2023
  • SourcererJBF Public

    Sourcerer's Java Build Framework

    Python 11 GPL-3.0 5 0 0 Updated Feb 7, 2023
  • test-suite-parallelization Public
    HTML 0 0 0 2 Updated Sep 1, 2022
  • TLDR Public

    A fast and efficient Regression Testing tool

    Java 0 0 0 9 Updated Jul 1, 2022
  • baas Public

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

    Python 0 GPL-3.0 2 0 0 Updated Jun 3, 2022
  • SourcererCC Public

    Sourcerer's Code Clone project

    Java 212 GPL-3.0 69 24 7 Updated May 17, 2022
  • oreo Public

    Source code clone detection for clones in the Twilight Zone

    Java 24 GPL-3.0 10 1 1 Updated Mar 14, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…