Sign in

Repository Index

65,264 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

2,641–2,664 of 11,922 · Most stars

Red Ink - A one-stop Xiaohongshu image-and-text generator based on the 🍌Nano Banana Pro🍌, "One Sentence, One Image: Generate Xiaohongshu Text and Images."

  • ai
  • aigc
  • content-generator
  • social-media

Eleven Claude skills that run a YouTube channel: scripts off 21 hook formulas with a scored hook, title and thumbnail linted as one pairing, an edit decision list from your transcript, a retention reader that finds where viewers actually leave, a Shorts cutter, and a virality engine. Free, MIT.

GIF encoder based on libimagequant (pngquant). Squeezes maximum possible quality from the awful GIF format.

  • gif
  • pngquant
  • gif-animation
  • gif-creator

Translated😍FeHelper -- Web Front-end Assistant (Awesome! Chrome & Firefox & MS-Edge Extension, All in one Toolbox!)

  • fehelper
  • json
  • qrcode-generator
  • qrcode-decoder

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.