EmillieT / Pycee

Related projects ⓘ

Alternatives and complementary repositories for Pycee

• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆96Updated 9 months ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆70Updated last month
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆61Updated last year
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated 6 months ago
• caterinaurban / Typpete
  ☆35Updated 5 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.
  ☆52Updated 5 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆29Updated last year
• 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 last year
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated last year
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆24Updated last year
• JetBrains-Research / buckwheat
  A multi-language tokenizer for extracting identifiers from source code.
  ☆24Updated 2 years ago
• JetBrains-Research / PyNose
  A test smell detector for Python.
  ☆49Updated 2 years ago
• sonoisa / code2vec
  an implementation of "code2vec: Learning Distributed Representations of Code"
  ☆29Updated 4 months ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆20Updated 2 years ago
• STAR-RG / shipwright
  ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
  ☆22Updated 3 years ago
• danhper / bigcode-tools
  Set of tools to help working with "Big Code"
  ☆43Updated 2 years ago
• ChrisTimperley / comby-python
  Python bindings for Comby
  ☆13Updated last year
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆65Updated this week
• 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 last year
• dazcona / user2code2vec
  🤓 user2code2vec: Embeddings for Profiling Students Based on Distributional Representations of Source Code. Full Paper presented at Learn…
  ☆22Updated 5 years ago
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆42Updated last year
• lierdakil / mathjax-pandoc-filter
  Nodejs implementation of pandoc filter to turn TeX math into embedded SVG
  ☆22Updated last year
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 6 years ago
• bobatkey / interactive-natural-deduction
  An editor for interactively building natural deduction proofs
  ☆20Updated 6 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 5 months ago
• JetBrains-Research / DeepBugsPlugin
  Deep learning-based bug detector for IntelliJ
  ☆6Updated 4 years ago
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆32Updated 2 years ago
• reudismam / Refazer
  ☆10Updated 5 years ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year