erictraut

pyright-playground

Website for testing snippets of code using the pyright type checker

mypy_issues

Analysis of issues in the mypy issue tracker

cpython

The Python programming language

attrs

Python Classes Without Boilerplate

peps

Python Enhancement Proposals

typing

Python static typing home. Hosts the documentation and a user help forum.

bonsaiai.github.io

Bonsai's Slate Developer Documentation

microsoft-bonsai-api

A collection of libraries for interfacing simulators with the Bonsai platform.

mojo

The Mojo Programming Language

mypythontools

Some tools / python functions that i used in other projects.

NoSQLProvider

A cross-browser/platform indexeddb-like client library

pandas

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

python-language-server

Microsoft Language Server for Python

tenfour

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

typeshed

Collection of library stubs for Python, with static types

vscode-python

Python extension for Visual Studio Code