Alternatives and similar repositories for TypeEvalPy

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

• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆43Updated last year
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆72Updated 7 months ago
• joernio / standalone-ext
  Minimal example of a standalone program that depends on Joern
  ☆10Updated 5 months ago
• microsoft / codamosa
  ☆142Updated last month
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆130Updated last month
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆62Updated this week
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆143Updated 2 months ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated last week
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆46Updated last year
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆310Updated last year
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆32Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆75Updated last week
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆25Updated 5 months ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆67Updated last year
• bajinsheng / bibtidy
  Search, check, and autofix your BibTex files!
  ☆25Updated last year
• NobleMathews / FuzzSliceICSE
  Camera Ready copy of FuzzSlice v1 code for ICSE
  ☆18Updated last year
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆46Updated last month
• wala / ML
  ☆26Updated this week
• utopia-group / TypeT5
  Seq2seq Type Inference using Static Analysis and CodeT5
  ☆31Updated 2 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated last month
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆54Updated 11 months ago
• JohnnyPeng18 / TypeGen
  This is the tool released in the ASE'23 paper "Generative Type Inference for Python".
  ☆26Updated last year
• chengpeng-wang / LLMSAN
  LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)
  ☆78Updated last month
• rkthomps / coq-modeling
  Language models for Coq based on data collected from the coq lsp.
  ☆17Updated last month
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆52Updated 3 weeks ago
• SecurityLab-UCD / LLAMAFUZZ
  Fine-tuning a LLM for generating the structured data
  ☆23Updated 7 months ago
• FP-Analysis / atomic-condition
  ☆22Updated 5 years ago
• JohnnyPeng18 / HiTyper
  This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"
  ☆43Updated last year
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆36Updated last year