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
  ☆108Updated last year
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated 2 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 7 years ago
• SoftwareUnderstanding / inspect4py
  Static code analysis package for Python repositories
  ☆33Updated 2 years ago
• alcides / aeon
  Aeon programming language
  ☆24Updated 3 weeks ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆25Updated 2 months ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆34Updated 3 years ago
• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆40Updated 3 weeks ago
• caterinaurban / Typpete
  ☆37Updated 6 years ago
• AZHenley / hcse-dissertations
  A list of human-centered software engineering dissertations.
  ☆48Updated 3 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• JetBrains-Research / sosed
  Finding similar repositories on GitHub
  ☆51Updated 2 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 4 months ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆192Updated 2 weeks ago
• software-tools-books / stjs
  Software Tools in JavaScript
  ☆30Updated 2 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• google / compynator
  A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous gr…
  ☆91Updated 5 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆81Updated 2 weeks ago
• bvasiles / empirical-methods
  Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University
  ☆140Updated last year
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated last week
• ChrisTimperley / comby-python
  Python bindings for Comby
  ☆13Updated 2 years ago
• boalang / compiler
  The Boa language reference compiler.
  ☆32Updated last year
• datacamp / antlr-ast
  Library for building abstract syntax trees from antlr parsers
  ☆43Updated 5 years ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆132Updated last week
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆80Updated 5 years ago
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆33Updated 3 weeks ago
• vvulpes0 / Language-Toolkit-2
  A set of tools for analyzing languages via logic and automata
  ☆25Updated 4 months ago
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 7 years ago