Some practical gadgets. ✔
☆10Apr 2, 2026Updated 2 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
- Subscribe URLs with custom UA, cookie and referer☆16May 18, 2017Updated 9 years ago
- Telegram bot to generate link preview for Sina Weibo.☆18Mar 29, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 通过headless chrome实现selenium+scrapy的伪并发，提高动态网站爬取效率。☆10Mar 12, 2018Updated 8 years ago
- An LLM text adventure game☆23Jun 30, 2025Updated last year
- C program for Drawwing Complex graphics with L-edit☆10Jan 7, 2020Updated 6 years ago
- ☆10Jul 13, 2024Updated last year
- ☆17Dec 6, 2021Updated 4 years ago
- 3D Modeling☆11Jun 5, 2026Updated 3 weeks ago
- A simple Python BLOG, designed for myself.☆41Sep 5, 2014Updated 11 years ago
- tgt in docker，将配置融入到启动脚本，直接通过环境变量即可进行target配置，无需执行脚本☆16Aug 16, 2024Updated last year
- 广东海洋大学电信天翼客户端（Python版+shell版），运行环境OpenWrt☆11Nov 13, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Make git commits with pretty hashes☆30Aug 4, 2020Updated 5 years ago
- Javascript toys.☆14Apr 4, 2023Updated 3 years ago
- MeowTools - maybe some useful tools for CTFers / programmers☆20Nov 27, 2022Updated 3 years ago
- 石蒜摇摇乐vscode插件☆13Aug 31, 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
- 此项目旨在为南京航空航天大学住宿生提供更方便的电费查询方式☆11Dec 11, 2018Updated 7 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 years ago
- A collection of notable radio frequencies near Philadelphia PA and beyond☆15Aug 23, 2018Updated 7 years ago
- 【uni-app】腾讯云文字识别（OCR）插件☆11Jan 26, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Verified Implementation of Dijkstra's Algorithm☆18Mar 2, 2021Updated 5 years ago
- harness-engineering discussion of shortcuts, automation, hacks and overall productivity with code agents like claude code, codex, and oth…☆104Mar 17, 2026Updated 3 months ago
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 6 years ago
- USTC 研究生课程信息和选课名单爬虫☆13Dec 8, 2022Updated 3 years ago
- 基於 “正方软件股份有限公司” 的教務管理平台提供驗證碼識別服務(公開版)☆10Oct 4, 2018Updated 7 years ago
- Resource for develop QNAP NAS App.☆17Oct 29, 2018Updated 7 years ago
- 👑【官方】PHPCMS V9，BUG修复--持续维护、更新中……新增支持https、支持php7 ，增加关联字段、单文件上传和照片墙(瀑布流方式显示)功能☆14Mar 16, 2026Updated 3 months ago
- ICPC 2023 合肥站选手机器镜像制作脚本☆47Dec 2, 2023Updated 2 years ago
- ☆16May 10, 2017Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A socks5 server in python using asyncio☆14Apr 28, 2018Updated 8 years ago
- Tools and programs for testing the Smart Grid anomaly detection algorithm☆14Dec 2, 2017Updated 8 years ago
- An application that helps in generating TMorph codes for WoW.☆10Mar 10, 2016Updated 10 years ago
- My various dotfiles.☆30Jun 4, 2025Updated last year
- Convert json to csv with column titles☆13Dec 21, 2017Updated 8 years ago
- Bedrock Bit Vector Library☆29Jun 4, 2026Updated 3 weeks ago
- I don't want QQProtect☆66Nov 7, 2018Updated 7 years ago