microbit-foundation/pyright external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

microbit-foundation/pyright

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/microbit-foundation/pyright)

Close

microbit-foundation / pyrightView on GitHubMore

• External links
• Readme badge

Fork with experimental browser support. See https://github.com/microbit-foundation/pyright/blob/microbit/THIS_FORK.md for more information

☆12Sep 8, 2026Updated last month

Alternatives and similar repositories for pyright

Users that are interested in pyright are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• erictraut / pyright-playground

  View on GitHub
  Website for testing snippets of code using the pyright type checker
  ☆66Nov 2, 2025Updated 11 months ago
• meyskens / k8s-openresty-ingress-redis

  View on GitHub
  Kubernetes ingress controler with OpenResty using redis
  ☆14May 24, 2020Updated 6 years ago
• boardingparty / minecraft_gcp

  View on GitHub
  A low cost Minecraft server, optimized for easy setup and occasional use, for you to share with friends and family.
  ☆12Dec 27, 2022Updated 3 years ago
• tmcw / obsy

  View on GitHub
  livecoding observable-ish experiment, just an experiment
  ☆22Jan 22, 2021Updated 5 years ago
• jareware / terraform-utils

  View on GitHub
  ☆15Mar 4, 2023Updated 3 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• NG-ZORRO / blog

  View on GitHub
  Dev blogs.
  ☆17Jan 11, 2023Updated 3 years ago
• endpointservices / mps3

  View on GitHub
  Infraless Database over any s3 storage API.
  ☆21Mar 23, 2024Updated 2 years ago
• endpointservices / webcode.run

  View on GitHub
  Runtime for https://observablehq.com/@tomlarkworthy/webcode
  ☆27Sep 15, 2022Updated 4 years ago
• AshotAleqs / ng-zorro-switch-theme

  View on GitHub
  ☆13May 24, 2021Updated 5 years ago
• tomlarkworthy / linuxCNC_ROS

  View on GitHub
  connects linuxCNC software to the robot operating system
  ☆17Jun 14, 2012Updated 14 years ago
• observablehq / notebook-download-example

  View on GitHub
  An example of downloading and embedding an Observable notebook into a web app.
  ☆23Jan 16, 2021Updated 5 years ago
• llllvvuu / vscode-glspc

  View on GitHub
  LSP client for any LSP server (provider for auto-complete, lint, hover, etc)
  ☆12Jul 2, 2024Updated 2 years ago
• adagradschool / scope

  View on GitHub
  Observable, interruptible subagent orchestration for AI coding assistants. Preserve your context.
  ☆21Mar 18, 2026Updated 6 months ago
• nickclaw / url-match-patterns

  View on GitHub
  A node module for testing URLs against match patterns.
  ☆12Aug 27, 2019Updated 7 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• alexia-b-chang / yag.js

  View on GitHub
  Yagnus Javascript Libraries
  ☆22Jul 22, 2013Updated 13 years ago
• prettier / angular-estree-parser

  View on GitHub
  A parser that converts Angular source code into an ESTree-compatible form
  ☆18Sep 29, 2026Updated 2 weeks ago
• seltzered / beancolage

  View on GitHub
  Prototype of a plaintext accounting environment using theia-ide, beancount, fava, and more...
  ☆10Sep 25, 2024Updated 2 years ago
• itchyny / vim-gof

  View on GitHub
  ☆13Jul 16, 2023Updated 3 years ago
• zhlint-project / eslint-plugin-zhlint

  View on GitHub
  ESLint plugin for Chinese typographies (中文排版) with zhlint
  ☆11Mar 17, 2023Updated 3 years ago
• yaegassy / coc-vitest

  View on GitHub
  Vitest for coc.nvim
  ☆12Updated this week
• monaqa / nvim-treesitter-clipping

  View on GitHub
  ☆11May 8, 2026Updated 5 months ago
• microsoft / vscode-pylint

  View on GitHub
  Linting support for python using the pylint library.
  ☆93Updated this week
• spence-s / human-object-diff

  View on GitHub
  An object diff you can read to your mom
  ☆16Mar 28, 2023Updated 3 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• jsscheller / ghostscript-wasm

  View on GitHub
  ghostscript compiled to WASM
  ☆15Aug 25, 2022Updated 4 years ago
• skanehira / denops-germanium.vim

  View on GitHub
  Generate image from source code
  ☆11Nov 14, 2022Updated 3 years ago
• tamago324 / vim-browsersync

  View on GitHub
  This plugin uses browser-sync from Vim.
  ☆12Jan 3, 2021Updated 5 years ago
• shonny-ua / gulp-rev-outdated

  View on GitHub
  Old static asset revision files filter
  ☆23Jan 2, 2019Updated 7 years ago
• neoclide / coc-repl

  View on GitHub
  Read-Eval-Print-Loop (REPL) for coc.nvim
  ☆13Dec 9, 2022Updated 3 years ago
• jozsefsallai / discord-minesweeper-generator

  View on GitHub
  Generate Minesweeper fields to use in Discord messages.
  ☆14Dec 9, 2022Updated 3 years ago
• KotlinIsland / basedtyping

  View on GitHub
  Runtime components for use with basedmypy
  ☆12Nov 21, 2024Updated last year
• yaegassy / coc-htmlhint

  View on GitHub
  Integrates the HTMLHint static analysis tool into coc.nvim.
  ☆13Apr 11, 2022Updated 4 years ago
• neuml / py27hash

  View on GitHub
  Python 2.7 hashing and iteration in Python 3+
  ☆19Nov 20, 2022Updated 3 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• uiwjs / react-github-corners

  View on GitHub
  Add a Github corner to your project page, This GitHub corner for react component/web component.
  ☆14Apr 21, 2026Updated 5 months ago
• muffinmad / anakin-language-server

  View on GitHub
  Yet another Jedi Python language server
  ☆43Jan 14, 2026Updated 9 months ago
• bonprosoft / pysen-ls

  View on GitHub
  A language server implementation for pysen
  ☆10Nov 14, 2021Updated 4 years ago
• codemirror / lang-rust

  View on GitHub
  Rust language support for the CodeMirror code editor
  ☆29Apr 15, 2026Updated 6 months ago
• tokiedokie / deno_website2_japanese

  View on GitHub
  deno.land の日本語サイト
  ☆13Nov 23, 2022Updated 3 years ago
• hsuanxyz / ionic2-extend-alert

  View on GitHub
  Extended version of alert component
  ☆10Mar 2, 2017Updated 9 years ago
• hrsh7th / nvim-matcha

  View on GitHub
  A fuzzy finding plugin for neovim (for my personal use)
  ☆11Sep 10, 2021Updated 5 years ago