Alternatives and similar repositories for Pycee

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

• mvitousek / reticulated
  Types for Python
  ☆87Updated 7 years ago
• caterinaurban / Typpete
  ☆36Updated 6 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆110Updated last year
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 3 years ago
• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆18Updated 3 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated 2 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆80Updated 5 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆81Updated last month
• SoftwareUnderstanding / inspect4py
  Static code analysis package for Python repositories
  ☆33Updated 2 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆63Updated 2 weeks ago
• boalang / compiler
  The Boa language reference compiler.
  ☆32Updated last year
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated last week
• azazel75 / macropy
  Macros in Python: quasiquotes, case classes, LINQ and more!
  ☆29Updated 5 years ago
• tidyparse / tidyparse
  ✂️ Syntax correction in context-free languages.
  ☆23Updated this week
• borntyping / python-infix
  An experiment to use infix operators in Python
  ☆57Updated 7 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 3 years ago
• JetBrains-Research / PyNose
  A test smell detector for Python.
  ☆53Updated 3 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 8 months ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 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 6 years ago
• konn / vscode-generic-input-method
  Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX
  ☆11Updated 2 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 4 months ago
• drhagen / parsita
  The easiest way to parse text in Python
  ☆110Updated 3 months ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆67Updated 6 months ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 3 months ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆101Updated this week