marinelay

marinelay's Stars

• kupl/PyinderArtifact

  Artifact for Pyinder accepted in ASE 2024

  Language:Python2

• kupl/starlab-benchmarks

  Repository for Software STARLAB benchmarks

  Language:Java52

• kupl/kaprese

  Language:Python15

• seketeam/EvoCodeBench

  An Evolving Code Generation Benchmark Aligned with Real-world Code Repositories

  Language:Python473

• secure-software-engineering/TypeEvalPy

  A Micro-benchmarking Framework for Python Type Inference Tools

  Language:Python322

• dl0312/open-apis-korea

  🇰🇷 한국어 사용자를 위한 서비스에 사용하기 위한 오픈 API 모음

  Language:Python3.3k346

• se2p/pynguin

  The PYthoN General UnIt Test geNerator is a test-generation tool for Python

  Language:Python1.3k77

• kupl/VeriSmart-public

  a safety verifier for Solidity smart contracts

  Language:OCaml9324

• kupl/PyTER

  Language:Python125

• sambyeol/latex-devcontainer

  Devcontainer with TeX Live

  Language:Dockerfile1

• kupl-courses/AAA528-2023spring

  AAA528 Computational Logic

  Language:Python1

• kupl-courses/COSE312-2023spring

  COSE 312 Compilers

  Language:OCaml3614