Some practical gadgets. ✔
☆10Apr 2, 2026Updated 3 months ago
Alternatives and similar repositories for PublicTools
Users that are interested in PublicTools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Telegram bot to generate link preview for Sina Weibo.☆18Mar 29, 2021Updated 5 years ago
- Subscribe URLs with custom UA, cookie and referer☆16May 18, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 通过headless chrome实现selenium+scrapy的伪并发，提高动态网站爬取效率。☆10Mar 12, 2018Updated 8 years ago
- C program for Drawwing Complex graphics with L-edit☆10Jan 7, 2020Updated 6 years ago
- ☆10Jul 13, 2024Updated 2 years ago
- 3D Modeling☆11Jun 5, 2026Updated last month
- An LLM text adventure game☆24Jun 30, 2025Updated last year
- ☆17Dec 6, 2021Updated 4 years ago
- 广东海洋大学电信天翼客户端（Python版+shell版），运行环境OpenWrt☆11Nov 13, 2017Updated 8 years ago
- Javascript toys.☆14Apr 4, 2023Updated 3 years ago
- Make git commits with pretty hashes☆30Aug 4, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MeowTools - maybe some useful tools for CTFers / programmers☆20Nov 27, 2022Updated 3 years ago
- 👂 Typing is slow, talk to me. The project name means ' i am tired ' in Chinese (我累了). This is a AI efficiency assistant, complete your d…☆16Jun 8, 2024Updated 2 years ago
- 石蒜摇摇乐vscode插件☆13Aug 31, 2022Updated 3 years ago
- A collection of notable radio frequencies near Philadelphia PA and beyond☆15Aug 23, 2018Updated 7 years ago
- 此项目旨在为南京航空航天大学住宿生提供更方便的电费查询方式☆11Dec 11, 2018Updated 7 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- A Verified Implementation of Dijkstra's Algorithm☆18Mar 2, 2021Updated 5 years ago
- 【uni-app】腾讯云文字识别（OCR）插件☆11Jan 26, 2021Updated 5 years ago
- Google AI Studio CSS样式脚本。包含user/modal区分、对话内目录导航、Markdown渲染优化、UI布局调整。☆22May 29, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 6 years ago
- 👑【官方】PHPCMS V9，BUG修复--持续维护、更新中……新增支持https、支持php7，增加关联字段、单文件上传和照片墙(瀑布流方式显示)功能☆14Mar 16, 2026Updated 4 months ago
- USTC 研究生课程信息和选课名单爬虫☆13Dec 8, 2022Updated 3 years ago
- Resource for develop QNAP NAS App.☆17Oct 29, 2018Updated 7 years ago
- 基於 “正方软件股份有限公司” 的教務管理平台提供驗證碼識別服務(公開版)☆10Oct 4, 2018Updated 7 years ago
- ☆16May 10, 2017Updated 9 years ago
- Convert json to csv with column titles☆13Dec 21, 2017Updated 8 years ago
- Tools and programs for testing the Smart Grid anomaly detection algorithm☆14Dec 2, 2017Updated 8 years ago
- tgt in docker，将配置融入到启动脚本，直接通过环境变量即可进行target配置，无需执行脚本☆16Aug 16, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- My various dotfiles.☆30Jun 4, 2025Updated last year
- This is an adapted LaTeX template from billryan's version.☆24May 23, 2024Updated 2 years ago
- A socks5 server in python using asyncio☆14Apr 28, 2018Updated 8 years ago
- I don't want QQProtect☆66Nov 7, 2018Updated 7 years ago
- Arduino GPS datalogger with ATGM336H module, SD card module, and ATSAMD21 microcontroller.☆17Jul 15, 2021Updated 5 years ago
- 网页笔记本，浏览器拓展程序☆14Apr 23, 2021Updated 5 years ago
- Source Han Serif MacType Config☆15May 18, 2017Updated 9 years ago