Online Z-notations Editor with Prosemirror and React.js
- z-notations
- formal
- methods
- reactjs
Repository Index
78,850 visible repositories in the index
1,921–1,944 of 2,287 · Most stars
Helps you manage and autosave your extension's options.
- webext
- webextensions
The lightbox for React. Unstyled, accessible primitives built on native scrolling and view transitions. Morph, swipe, zoom, and pull-to-dismiss, all out of the box.
Plugin for the Steam Deck, to adjust color settings, like saturation or gamma
Implementation of Chrome extension APIs for Electron
Data visualisation web components for the life sciences.
- biohackeu21
- bioinformatics
- visualization
- webcomponents
World's first fully integrated and fully Automated Kubernetes management and orchestration solution
Warp is a feature-rich framework for multiplayer games, written in GameMaker and NodeJS (previously GM-Online-Framework)
Animated SVG stats cards for your GitHub profile README, counting private and organization work. Runs as a GitHub Action, no server.
- github-actions
- github-profile-readme
- readme-stats
- svg
Event-driven OneLake pipeline with automated Upsert merge and Python reporting
- activator
- data-engineering
- data-factory
- data-pipeline
Windows 10 full 22H2 installer: build media, start setup, get running.
- activator
- free-optimization-tool
- massgravel
- ntlite-windows-iso-customizer-install
VirtualPhoneNumber: Contributed Virtual Number Generation Desktop Tool
- activator
- allhackingtools
- hacking-tool
- linux
Microsoft Office Professional Plus Installer for Automated Deployment and Configuration
- access
- activator
- deployment
- excel
Windows PC setup Utility with Safe Automated Configuration
- 32-bit
- 32bit
- 64-bit
- 64bit
Windows 10 setup research tool with multiple documented methods
- activate
- activator
- chethnayadav456
- key
Publish your Playwright test results to your favourite Slack channel(s).
- playwright
- slack
- test-automation
- typescript
Aegis SpreadWatch: keeps CS2 buy and sell opportunities legible — net profit, ROI and fee assumptions per venue, computed on device.
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety
The official Sentry SDK for Capacitor
A Mac app for running your Claude Code and Codex threads, on the subscriptions you already have. Comes with an iPhone app, and you get all the source.
A plugin collection for DeepSeek Harness (DSH). Install this one bundle to get every plugin listed below; each plugin can also be installed on its own.
- dsh-plugin
- dsh
- dsh-bundle
- dsh-plugin-desktop
Automatic AI video editing: Claude directs HyperFrames (HTML + GSAP motion graphics) and Remotion (timeline assembly). Karaoke subtitles, kinetic typography, sound effects, a timeline editor, text-to-video, video translation and dubbing - self-hosted web dashboard, built for Vietnamese.
The repository host gives no description.
Simulador de Azure para aprender DevOps sin cuenta ni costes: portal, Cloud Shell, Azure DevOps y una academia de 13 niveles con 47 laboratorios que se validan solos.