[PR #1072] [MERGED] Add Pyre #965

New Issue

GiteaMirror · 2025-11-06T13:06:23-06:00

GiteaMirror commented

2025-11-06 13:06:23 -06:00

📋 Pull Request Information

Original PR: https://github.com/vinta/awesome-python/pull/1072
Author: @Ferenc-
Created: 5/25/2018
Status: ✅ Merged
Merged: 5/26/2018
Merged by: @vinta

Base: master ← Head: master

📝 Commits (1)

40213f7 Add Pyre

📊 Changes

1 file changed (+1 additions, -0 deletions)

View changed files

📝 README.md (+1 -0)

📄 Description

What is this Python project?

Static type checker.

What's the difference between this Python project and similar ones?

Faster
Actively maintained
Momentum behind it by a big player in the industry

--

Anyone who agrees with this pull request could vote for it by adding a 👍 to it, and usually, the maintainer will merge it when votes reach 20.

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/vinta/awesome-python/pull/1072 **Author:** [@Ferenc-](https://github.com/Ferenc-) **Created:** 5/25/2018 **Status:** ✅ Merged **Merged:** 5/26/2018 **Merged by:** [@vinta](https://github.com/vinta) **Base:** `master` ← **Head:** `master` --- ### 📝 Commits (1) - [`40213f7`](https://github.com/vinta/awesome-python/commit/40213f70fb77a3d8a4f2fb1b18e223a6dbbd6958) Add Pyre ### 📊 Changes **1 file changed** (+1 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+1 -0) </details> ### 📄 Description ## What is this Python project? Static type checker. ## What's the difference between this Python project and similar ones? - Faster - Actively maintained - Momentum behind it by a big player in the industry -- Anyone who agrees with this pull request could vote for it by adding a :+1: to it, and usually, the maintainer will merge it when votes reach **20**. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

GiteaMirror added the pull-request label 2025-11-06 13:06:23 -06:00

GiteaMirror closed this issue

2025-11-06 13:06:23 -06:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: github-starred/awesome-python#965