Lean 4 programming language and theorem prover

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

A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.

React components for efficiently rendering large lists and tabular data

The Bluesky Social application for Web, iOS, and Android

Social networking technology created by Bluesky

EduLint is a Python linter aimed at helping novice programmers improve their coding style.

Container library with custom memory arena

Demo app of React Server Components.

This repository is deprecated. All of its content and history has been moved to googleapis/google-cloud-node.

💯 Curated coding interview preparation materials for busy software engineers

Gatsby starter for creating a blog

COVID-19 global data (from JHU CSSE for now) as-a-service

Turn-based, Dungeon-crawling, RPG made with React + Redux. Play it now on https://react-rpg.com

Drag and Drop for React

An opinionated glossary of computer science terms for front-end developers. Written by Dan Abramov.

A scalable set of icons handcrafted with <3 by GitHub

the package manager for JavaScript

Fast, unopinionated, minimalist web framework for node.

Promise based HTTP client for the browser and node.js

Documentation about css-modules

The React Framework

The library for web and native user interfaces.

A framework for building native applications using React