Skip to content
@utopia-group

utopia-group

Popular repositories Loading

  1. regel regel Public

    REGEL: Regular Expression Generation from Examples and Language

    Java 36 9

  2. TypeT5 TypeT5 Public

    Seq2seq Type Inference using Static Analysis and CodeT5

    Jupyter Notebook 32 7

  3. sypet sypet Public

    SyPet: Component-Based Synthesis for Complex APIs

    Java 23 6

  4. apposcopy apposcopy Public

    Java 18 12

  5. VeriSoftBench VeriSoftBench Public

    Benchmarking LLMs on Real-World Software Verification in Lean 4

    Python 15 3

  6. SmartPulseTool SmartPulseTool Public

    C 9 9

Repositories

Showing 10 of 37 repositories
  • VeriSoftBench Public

    Benchmarking LLMs on Real-World Software Verification in Lean 4

    utopia-group/VeriSoftBench's past year of commit activity
    Python 15 MIT 3 1 0 Updated Sep 28, 2026
  • pushdown Public

    Artifact of "Optimal Predicate Pushdown Synthesis" (PLDI 2026)

    utopia-group/pushdown's past year of commit activity
    Scala 0 0 0 0 Updated Jun 19, 2026
  • matchbox Public
    utopia-group/matchbox's past year of commit activity
    OCaml 3 0 0 0 Updated Jun 4, 2026
  • Performance-contract Public
    utopia-group/Performance-contract's past year of commit activity
    OCaml 1 0 0 0 Updated Apr 9, 2026
  • zequal Public
    utopia-group/zequal's past year of commit activity
    Rust 2 GPL-3.0 0 0 0 Updated Jan 8, 2026
  • ink Public

    Code Repository for 'Homomorphism Calculus for User-Defined Aggregations'

    utopia-group/ink's past year of commit activity
    Rust 0 MIT 0 0 0 Updated Aug 20, 2025
  • Coeus Public

    Relational Verification using Reinforcement Learning (Verifier Source Code)

    utopia-group/Coeus's past year of commit activity
    OCaml 4 Apache-2.0 2 0 1 Updated Apr 23, 2024
  • Opera Public

    Code repository for 'From Batch to Stream: Automatic Generation of Online Algorithms' https://arxiv.org/abs/2404.04743

    utopia-group/Opera's past year of commit activity
    Python 7 MIT 0 0 0 Updated Apr 12, 2024
  • Smore Public

    Code repository for 'Data Extraction via Semantic Regular Expression Synthesis'

    utopia-group/Smore's past year of commit activity
    Python 7 MIT 3 0 1 Updated Jul 14, 2023
  • TypeT5 Public

    Seq2seq Type Inference using Static Analysis and CodeT5

    utopia-group/TypeT5's past year of commit activity
    Jupyter Notebook 32 BSD-3-Clause 7 0 0 Updated Jul 9, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…