Support for the Pyrefly Python LSP in Zed
☆49Updated this week
Alternatives and similar repositories for pyrefly
Users that are interested in pyrefly are comparing it to the libraries listed below
Sorting:
- ☆46Sep 17, 2025Updated 5 months ago
- Cornell INFO 3350 Fall 2023☆11Dec 5, 2023Updated 2 years ago
- Create Route53 HealthChecks to monitor TCP, HTTP, HTTPS endpoints, CloudWatch Alarms and other Route53 HealthChecks☆12Feb 19, 2026Updated last week
- ☆37Oct 1, 2025Updated 5 months ago
- An alphanumeric COLRv0 font made from Twemoji's rat emoji 🐀🐀🐀☆10Mar 23, 2022Updated 3 years ago
- Animations made by python☆10Jun 19, 2020Updated 5 years ago
- A program to translate sosi files to osm files☆11Nov 13, 2023Updated 2 years ago
- Convert reStructuredText to PDF☆18Jul 12, 2015Updated 10 years ago
- Untraditional GNU Emacs configuration☆10Jul 10, 2024Updated last year
- Synchronize data between spotify-accounts. Supports synchronized playlists, favorite songs, followed singers, etc.☆14Jun 16, 2021Updated 4 years ago
- TypeScript rewrite of koa☆12Mar 4, 2023Updated 2 years ago
- GitHub syntax highlighter color scheme for Pygments.☆11Apr 7, 2020Updated 5 years ago
- Projen project base types used at ClickUp☆13Updated this week
- ☆11May 27, 2017Updated 8 years ago
- data & analyze data from Citi Bike's GBFS real-time data feed☆11Mar 26, 2024Updated last year
- Homework assignments for Cornell ORIE 4741☆14Nov 25, 2021Updated 4 years ago
- Asynchronous DNS for Python asyncio (pure Python)☆11Nov 15, 2018Updated 7 years ago
- A copier template for scaffolding Python packages and apps (FastAPI and Gradio) using uv as package manager☆15Updated this week
- View today's Nepali Date online. This repository is for the public website.☆12Feb 8, 2025Updated last year
- Moved to https://codeberg.org/dobo/playready-rs☆13Apr 3, 2025Updated 10 months ago
- Library and command-line tool to gather stats on typeshed packages☆12Updated this week
- Emacs REPL for scala-cli☆15Jan 26, 2024Updated 2 years ago
- Create simple AWS Budgets notifications☆16Feb 1, 2026Updated last month
- How to use and create stream on Node.js native add-ons☆13Apr 10, 2018Updated 7 years ago
- Let's contribute to open source! (2022)☆12Oct 2, 2022Updated 3 years ago
- Implements a Gaussian Mixture model in JavaScript☆10Dec 3, 2021Updated 4 years ago
- FTP-like interface over S3 to allow auth users (OAuth, SAML) manage files under some buckets and folders, with normal users and admins.☆11Oct 25, 2020Updated 5 years ago
- Detachable minimap package☆17Mar 28, 2022Updated 3 years ago
- The Finch Daemon project is an open source container runtime engine that enables users to integrate software that uses Docker's RESTful A…☆11Updated this week
- OpenSSL for side projects☆11Apr 21, 2020Updated 5 years ago
- A simple beautifier which allows formatting and indenting Groovy scripts☆13Jan 8, 2023Updated 3 years ago
- Basic recipe archive and meal planner using Django☆12Feb 7, 2024Updated 2 years ago
- This sample codes show how to ingest data into Amazon OpenSearch or OpenSearch Serverless using OpenSearch Ingestion. Amazon OpenSearch I…☆11Sep 10, 2024Updated last year
- This Rust library provides a standalone implementation of the ROS (Robot Operating System) core, allowing you to build ROS nodes entirely…☆17Jan 19, 2026Updated last month
- ☆13May 17, 2023Updated 2 years ago
- Language Server for Prolog☆13May 2, 2023Updated 2 years ago
- This is a project that simulates natural fire, and can render it to pixel art for easy animation.☆12Jan 12, 2021Updated 5 years ago
- ES Module ToolKit☆11Updated this week
- An Emacs plugin for teachers, making feedback better and easier☆10Sep 2, 2019Updated 6 years ago