Skip to content
@sola-st

sola-st

Popular repositories Loading

  1. wasm-binary-security wasm-binary-security Public

    WebAssembly 74 4

  2. DynaPyt DynaPyt Public

    Dynamic analysis framework for Python

    Python 65 16

  3. WasmBench WasmBench Public

    A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study WebAssembly, for training machine learning models, and much …

    Python 56 8

  4. RepairAgent RepairAgent Public

    RepairAgent is an autonomous LLM-based agent for software repair.

    Python 28 8

  5. wasm-r3 wasm-r3 Public

    Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

    Jupyter Notebook 26 4

  6. SemSeed SemSeed Public

    Jupyter Notebook 25 4

Repositories

Showing 10 of 25 repositories
  • ChangeGuard Public

    ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution

    sola-st/ChangeGuard’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jan 7, 2025
  • ExecutionAgent Public

    LLM agent to automatically set up arbitrary projects and run their test suites

    sola-st/ExecutionAgent’s past year of commit activity
    Python 17 5 1 0 Updated Dec 14, 2024
  • RepairAgent Public

    RepairAgent is an autonomous LLM-based agent for software repair.

    sola-st/RepairAgent’s past year of commit activity
    Python 28 8 0 0 Updated Nov 28, 2024
  • DynaPyt Public

    Dynamic analysis framework for Python

    sola-st/DynaPyt’s past year of commit activity
    Python 65 MIT 16 8 0 Updated Nov 11, 2024
  • wasm-r3 Public

    Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

    sola-st/wasm-r3’s past year of commit activity
    Jupyter Notebook 26 MIT 4 0 0 Updated Nov 2, 2024
  • PyTy Public

    Automated program repair of Python type errors

    sola-st/PyTy’s past year of commit activity
    Python 6 MIT 5 0 0 Updated Oct 23, 2024
  • Nalin Public
    sola-st/Nalin’s past year of commit activity
    Python 3 MIT 1 0 0 Updated Aug 2, 2024
  • MorphQ-Quantum-Qiskit-Testing-ICSE-23 Public

    Companion website of "MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform", accepted at ICSE 23

    sola-st/MorphQ-Quantum-Qiskit-Testing-ICSE-23’s past year of commit activity
    Jupyter Notebook 7 MIT 4 0 0 Updated Jun 13, 2024
  • LintQ Public

    LintQ: A Static Analysis Framework for Qiskit Quantum Programs

    sola-st/LintQ’s past year of commit activity
    Jupyter Notebook 5 MIT 1 0 1 Updated Jun 13, 2024
  • DyPyBench Public
    sola-st/DyPyBench’s past year of commit activity
    Jupyter Notebook 13 MIT 1 0 0 Updated May 1, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…