Website for testing snippets of code using the pyright type checker

The mypy playground. Try mypy with your web browser.

Free travel times between U.S. Census geographies

Python type definitions for web APIs

Staging repo for development of native port of TypeScript

Calendar heatmaps with matplotlib

An animated custom cursor React component.

A fast, feature-rich static code analyzer & language server for Python

This is a project that simulates natural fire, and can render it to pixel art for easy animation.

Kind of a most lightweight animation library of all. Changes value with that spring effect, but keeps the rest to you.

Two conversational AI agents switching from English to sound-level protocol after confirming they are both AI agents

Type analysis of a simplified Ruby-like IR

A WebAssembly runtime implemented in TypeScript types

A fast type checker and IDE for Python

Type stubs for plotly.

Public type stubs for pandas

Complete lxml external type annotation

Display dependency tree of Python distribution

GSAP (GreenSock Animation Platform), a JavaScript animation library for the modern web

A fast and efficient type assistant for Python, including tensor shape inference

[WIP] A database of University of California employee wages.

React Redux web application for viewing, filtering, & comparing trends of automobile collision data published by the NYPD.

US H-1B Visa Lottery and Petition Data FY 2021 - FY 2024

Add default values to stubs

Canonical source for classifiers on PyPI.

Concise, consistent, and legible badges in SVG and raster format

A GitHub CLI extension to generate a 3D model of your GitHub contribution history

A set of graph examples showing how to make react and d3.js work together