Some practical gadgets. ✔
☆10Jan 19, 2026Updated 2 months ago
Alternatives and similar repositories for PublicTools
Users that are interested in PublicTools are comparing it to the libraries listed below
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 8 years ago
- Telegram bot to generate link preview for Sina Weibo.☆18Mar 29, 2021Updated 4 years ago
- 通过headless chrome实现selenium+scrapy的伪并发，提高动态网站爬取效率。☆10Mar 12, 2018Updated 8 years ago
- An LLM text adventure game☆21Jun 30, 2025Updated 8 months ago
- harness-engineering discussion of shortcuts, automation, hacks and overall productivity with code agents like claude code, codex, and oth…☆55Updated this week
- 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☆11Updated this week
- 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
- Make git commits with pretty hashes☆30Aug 4, 2020Updated 5 years ago
- Javascript toys.☆14Apr 4, 2023Updated 2 years ago
- MeowTools - maybe some useful tools for CTFers / programmers☆20Nov 27, 2022Updated 3 years ago
- 石蒜摇摇乐vscode插件☆13Aug 31, 2022Updated 3 years ago
- 此项目旨在为南京航空航天大学住宿生提供更方便的电费查询方式☆11Dec 11, 2018Updated 7 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 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 last year
- A collection of notable radio frequencies near Philadelphia PA and beyond☆14Aug 23, 2018Updated 7 years ago
- 【uni-app】腾讯云文字识别（OCR）插件☆11Jan 26, 2021Updated 5 years ago
- A Verified Implementation of Dijkstra's Algorithm☆18Mar 2, 2021Updated 5 years ago
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 5 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，增加关联字段、单文件上传和照片墙(瀑布流方式显示)功能☆12Mar 16, 2026Updated last week
- ICPC 2023 合肥站选手机器镜像制作脚本☆46Dec 2, 2023Updated 2 years ago
- ☆17May 10, 2017Updated 8 years ago
- A socks5 server in python using asyncio☆14Apr 28, 2018Updated 7 years ago
- Tools and programs for testing the Smart Grid anomaly detection algorithm☆13Dec 2, 2017Updated 8 years ago
- An application that helps in generating TMorph codes for WoW.☆10Mar 10, 2016Updated 10 years ago
- My various dotfiles.☆31Jun 4, 2025Updated 9 months ago
- Convert json to csv with column titles☆13Dec 21, 2017Updated 8 years ago
- Bedrock Bit Vector Library☆29Oct 28, 2025Updated 4 months ago
- I don't want QQProtect☆66Nov 7, 2018Updated 7 years ago