YHacker News

basedpyright docs.basedpyright.com ↗

A community fork of Pyright with extra features and open language server capabilities.

ToolDev toolspythontype-checkerlanguage-server

Recommended in 1 thread

  • Type Server Protocol

    github.com ·

    Cited as an open alternative whose maintainer refuses to support TSP.

Similar tools

  • Fish Dev tools

    A user-friendly interactive Unix shell.

    1 thread
  • qmd ↗Dev tools

    Local search engine for markdown documents with hybrid semantic search.

    1 thread
  • pyxis ↗Dev tools

    A compiler that generates Rust types matching C++ memory layouts.

    1 thread
  • wasm-bindgen ↗Dev tools

    A tool and library for interop between Rust-compiled WASM and JavaScript.

    1 thread
  • Glamorous Toolkit ↗Dev tools

    A moldable development environment built on Pharo for creating custom tools and data explorations.

    1 thread
  • Aeneas ↗Dev tools

    A toolchain that translates safe Rust programs into proof assistants like Lean for verification.

    1 thread
  • yt-dlp Dev tools

    A command-line tool for downloading video and audio from YouTube and other sites.

    1 thread
  • immich-go ↗Dev tools

    A command-line uploader for importing photos, including Google Takeout archives, into Immich.

    1 thread

Also in Dev tools

  • Pi ↗

    An extensible terminal coding agent that can switch between models.

    4 threads
  • F-Droid

    An app store distributing free and open-source Android apps.

    3 threads
  • Claude Code

    Anthropic's terminal-based coding agent harness.

    2 threads
  • Collie ↗

    A mobile interface to desktop agent sessions via tmux, zellij or herdr.

    2 threads
  • Forgejo

    A self-hostable community-driven software forge.

    2 threads
  • OpenCode

    An open-source terminal coding agent harness.

    2 threads
  • OrbStack

    A macOS app for running Docker containers and Linux VMs.

    2 threads
  • Playwright

    A browser automation framework for end-to-end testing.

    2 threads
  • lossy-git ↗

    A toy version control system that stores code by training a neural network and reconstructs it on checkout.

    2 threads
  • uv

    Fast Python package and project manager.

    2 threads
  • Aeneas ↗

    A toolchain that translates safe Rust programs into proof assistants like Lean for verification.

    1 thread
  • Alloy ↗

    A lightweight formal modeling language and analyzer for software designs.

    1 thread

Link from a commenter, not checked or endorsed by us: ↗ https://docs.basedpyright.com/v1.40.2/type-server/