Setup/Install yt-dlp (a youtube-dl fork) for GitHub Actions
☆25Jan 18, 2026Updated last month
Alternatives and similar repositories for setup-yt-dlp
Users that are interested in setup-yt-dlp are comparing it to the libraries listed below
Sorting:
- A website that publishes conversations with ChatGPT☆11Oct 15, 2024Updated last year
- Extra badges for App Store, Product Hunt and Hatena bookmarks☆11Sep 21, 2023Updated 2 years ago
- Implementation of Tool Cache in composite GitHub Actions☆12Feb 18, 2026Updated last week
- Setup/Install Rclone for GitHub Actions☆69Jan 12, 2026Updated last month
- Webseeded torrent creator using Google Colaboratory☆37Feb 26, 2024Updated 2 years ago
- Sync some source controlled markdown to getoutline.com docs, with diagram support!☆13Apr 26, 2023Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Metadata registries of the ISDCF☆12Updated this week
- LinkedInLearning / OpenAI-API-Building-Front-End-Voice-Apps-with-the-Realtime-API-and-WebRTC-2027322This is a repository for the LinkedIn Learning course OpenAI API: Building Front-End Voice Apps with the Realtime API and WebRTC☆16Nov 19, 2025Updated 3 months ago
- A Discord bot to listen for posts on Bluesky.☆11Oct 31, 2024Updated last year
- HUST军理线上作业简易自动填充答案油猴脚本☆11Jan 2, 2024Updated 2 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆35Updated this week
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- Human readable durations☆10Nov 28, 2022Updated 3 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- A Python program to archive certain pages on Moegirl 萌娘百科存档工具☆10Mar 22, 2020Updated 5 years ago
- Matching☆10Sep 7, 2024Updated last year
- Boring avatars can generate unique avatars based on the username and color palette.☆11Feb 6, 2026Updated 3 weeks ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- 基于原生CSS的微信聊天界面 | WeChat chat interface based on native CSS☆12Sep 12, 2020Updated 5 years ago
- A state management library that let's you tune to your state channels via subscriptions and listen to state updates with fine tuned simpl…☆11Mar 31, 2024Updated last year
- This is a high performance stub server.☆13Sep 3, 2024Updated last year
- Document Environment for spiegel-im-spiegel.github.io☆10Updated this week
- Eroge Music Quiz☆11Feb 22, 2026Updated last week
- 基于 RSSHUB，Onebot HTTP 协议独立运行的推特推送模块☆14Aug 8, 2022Updated 3 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 7 months ago
- Basic Unicode support for Lean 4☆15Updated this week
- ☆12Jun 21, 2023Updated 2 years ago
- A CUDA powered audio decoding framework for FLAC.☆11May 22, 2018Updated 7 years ago
- ☆11Jul 4, 2022Updated 3 years ago
- A Jollibee-based VSCode Color Theme☆10Jul 28, 2023Updated 2 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Updated this week
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 5 months ago
- ☆13Oct 25, 2024Updated last year
- A shareable Renovate config for Cybozu☆11Updated this week
- ☆10Feb 19, 2021Updated 5 years ago
- Visual Speech Recognition For Low-Resource Languages with Automatic Labels (ICASSP 2024)☆16Mar 17, 2025Updated 11 months ago
- About Me☆11Feb 24, 2025Updated last year
- decryptor/encryptor for NScripter's nscript.dat files, a reverse engineering of the original windows-only nsdec.exe and nscmake.exe tools☆18Jan 27, 2026Updated last month