Xy-pic extension for MathJax version 3

Source code for (interactive) figures in "RO(G)-graded norms for prismatic and de Rham-Witt theory".

Browser support for Lean using a monaco editor.

Lean web editor

Standard Library

Write programs like message passing graphs and get parallelism for free. Statically typed and compiled to machine code!

Skulpt is a Javascript implementation of the Python programming language

READONLY: Auto-generated mirror for https://github.com/marvinpinto/actions/tree/master/packages/automatic-releases

Declarative routing for React

Shows how to integrate React Router into your own bundling and server abstractions

A high-level API for programmatically interacting with web pages through WebDriver.

Safe FFmpeg wrapper.

Next generation frontend tooling. It's fast!

A high-level API to control headless Chrome or Chromium over the DevTools Protocol. It is the Rust equivalent of Puppeteer, a Node library maintained by the Chrome DevTools team.

Edit and review GitHub issues and pull requests from the comfort of your favorite editor

No Nonsense Neovim Client in Rust

simple terminal UI for git commands

React components for interactive math

React components for efficiently rendering large lists and tabular data

⚓ A collection of high-performance JavaScript tools.

Medium to hard Rust questions with explanations

Crowd-sourced notes for the Clausen-Scholze course on Analyic Stacks

For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.

🐐 Simple and complete React DOM testing utilities that encourage good testing practices.

Disallows importing scoped exports outside their scope

🏎 A set of primitives to build simple, flexible, WAI-ARIA compliant React autocomplete, combobox or select dropdown components.

new eMath system