Alternatives and similar repositories for Pycee

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

• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆104Updated last year
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆77Updated 3 weeks ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• microsoft / python-program-analysis
  A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.
  ☆54Updated 5 years ago
• SoftwareUnderstanding / inspect4py
  Static code analysis package for Python repositories
  ☆31Updated last year
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated last year
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆42Updated 2 years ago
• SERG-Delft / dslinter
  `dslinter` is a pylint plugin for linting data science and machine learning code. We plan to support the following Python libraries: Tens…
  ☆25Updated 2 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated last year
• JetBrains-Research / sosed
  Finding similar repositories on GitHub
  ☆50Updated 2 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆22Updated 2 years ago
• STAR-RG / shaker
  ☆12Updated 2 years ago
• mwshinn / paranoidscientist
  Runtime software verification and automated testing for scientific software in Python
  ☆94Updated last year
• rems-project / reviewing-good-and-bad-reasons
  ☆12Updated 3 years ago
• xserban / GraphRepo
  Github repo to Neo4j (and back)
  ☆19Updated 3 years ago
• lyxell / logifix
  Fixing static analysis violations in Java source code using Datalog
  ☆17Updated 2 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 8 months ago
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆27Updated last week
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• vickumar1981 / pyeffects
  Handle side-effects in Python like a boss. Implements functional types for Either, Option, Try, and Future.
  ☆32Updated 11 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• ChrisTimperley / comby-python
  Python bindings for Comby
  ☆13Updated last year
• targodan / jupyter-swi-prolog
  A Jupyter Kernel for SWI-Prolog
  ☆25Updated 6 years ago
• utk-se / WorldSyntaxTree
  Language-agnostic parsing of World of Code repositories
  ☆20Updated 2 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• orsinium-labs / aop
  Aspect oriented programming for Python. Patch everything!
  ☆13Updated 6 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆10Updated 4 years ago
• STAR-RG / shipwright
  ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
  ☆22Updated 4 years ago
• software-tools-books / stjs
  Software Tools in JavaScript
  ☆28Updated 2 years ago