Alternatives and similar repositories for TypeT5

Users that are interested in TypeT5 are comparing it to the libraries listed below

• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆71Updated 9 months ago
• sola-st / SemSeed
  ☆24Updated 4 years ago
• microsoft / codamosa
  ☆144Updated 3 months ago
• ise-uiuc / NablaFuzz
  Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)
  ☆24Updated last year
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆61Updated 2 years ago
• pdlan / OSCAR
  Code for ICML 2021 paper: How could Neural Networks understand Programs?
  ☆124Updated 10 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆46Updated last month
• eth-sri / learning-real-bug-detector
  ☆16Updated 11 months ago
• VHellendoorn / ICLR20-Great
  Data and Code for Reproducing "Global Relational Models of Source Code"
  ☆84Updated 4 years ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆32Updated 2 years ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆97Updated 4 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆316Updated last year
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆18Updated last year
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• yilinglou / proFL
  homepage for proFL
  ☆23Updated 4 years ago
• ARiSE-Lab / TRACED_ICSE_24
  ☆18Updated last year
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆35Updated 4 months ago
• EngineeringSoftware / teco
  TeCo: an ML+Execution model for test completion
  ☆31Updated last year
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• jkoppel / QuixBugs
  A multi-lingual program repair benchmark set based on the Quixey Challenge
  ☆125Updated 3 years ago
• saltudelft / many-types-4-py-dataset
  ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference
  ☆23Updated 3 years ago
• BugSwarm / bugswarm
  ☆34Updated 3 months ago
• codeflaws / codeflaws
  This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
  ☆43Updated 4 years ago
• saikat107 / Codit
  ☆13Updated 2 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆76Updated 2 months ago
• eth-sri / TFix
  ☆68Updated 3 years ago
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆152Updated 4 months ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆65Updated last month
• AutomatedProgramRepair-2021 / dear-auto-fix
  ☆29Updated 4 years ago
• giganticode / probes
  Probing pre-trained source code models
  ☆15Updated 3 years ago