Some practical gadgets. ✔
☆10Jan 19, 2026Updated last month
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
- Subscribe URLs with custom UA, cookie and referer☆16May 18, 2017Updated 8 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 4 years ago
- A multithreaded league of legends ping checker. Free download -☆13Jan 8, 2019Updated 7 years ago
- Natiga Script [Excel Version], is an easy to use php script that imports student scores from excel sheet and provide a user friendly inte…☆12Feb 21, 2017Updated 9 years ago
- 板球控制系統/滾球系統/BallPlate 2017年全国大学生电子设计竞赛B题 全国二等奖作品☆10May 27, 2024Updated last year
- Make git commits with pretty hashes☆30Aug 4, 2020Updated 5 years ago
- Laravel Livewire CRUD, Laravel Livewire Example With Basic Listing, Edit, Update & Delete. Multiple File Upload with the show and delete …☆11Sep 25, 2020Updated 5 years ago
- Yes, Daddy - A multi purpose bot meant for nsfw discord servers☆10Jun 21, 2022Updated 3 years ago
- 以教育机构为背景，独立开发一套客户关系管理系统。由三部分构成，权限组件、快速增删改查的组件、业务逻辑。 (1)实现添加角色，对不同角色赋予不同权限，并对访问记录进行权限校验，批量操作url等功能 (2)通过快速增删改查的组件，对学生、班级、校区、课程快速生成增删改查的功能及…☆11Apr 10, 2022Updated 3 years ago
- ICPC 2023 合肥站选手机器镜像制作脚本☆46Dec 2, 2023Updated 2 years ago
- AI dialogue system☆10Apr 24, 2023Updated 2 years ago
- New stats with the old client.☆16May 10, 2021Updated 4 years ago
- Gametech STMM MMTC Yogyakarta Game Developer Roadmap (*prototype)☆11Nov 30, 2023Updated 2 years ago
- A CSS3 Overlay system for modal dialogs.☆66Dec 16, 2010Updated 15 years ago
- ☆12Apr 14, 2025Updated 10 months ago
- 【uni-app】腾讯云文字识别（OCR）插件☆11Jan 26, 2021Updated 5 years ago
- Simple Anime List Info , dibuat dengan Laravel 8 dengan API dari jikan.moe API☆10Aug 20, 2021Updated 4 years ago
- Songs that play on your PC beep speaker.☆10Dec 13, 2019Updated 6 years ago
- tgt in docker，将配置融入到启动脚本，直接通过环境变量即可进行target配置，无需执行脚本☆16Aug 16, 2024Updated last year
- 👑【官方】PHPCMS V9，BUG修复--持续维护、更新中……新增支持https、支持php7，增加关联字段、单文件上传和照片墙(瀑布流方式显示)功能☆12Aug 8, 2023Updated 2 years ago
- ☆10Jul 13, 2024Updated last year
- This is a NodeJS based reference implementation of the MangaDex@Home client.☆11May 30, 2021Updated 4 years ago
- Robust Coarse Curved TetMesh Generation☆38Dec 15, 2023Updated 2 years ago
- 8.0 wow ui☆10Aug 27, 2018Updated 7 years ago
- 📢 Promotional website for https://github.com/BeeeQueue/yuna☆14Mar 21, 2024Updated last year
- ☆18Mar 23, 2025Updated 11 months ago
- ⭐️ Staroid Universe project registry☆12Mar 26, 2021Updated 4 years ago
- 更纯粹、更高压缩率的Tokenizer in Rust☆13Dec 21, 2024Updated last year
- GitHub Action to return the Cloudflare Pages Preview URL☆12Dec 1, 2025Updated 3 months ago
- ☆11Apr 15, 2021Updated 4 years ago
- 环形、圆形动画展示数据☆10Apr 13, 2016Updated 9 years ago
- 我的一些开源文档☆10Feb 18, 2025Updated last year
- Causal Reasoning for Membership Inference Attacks☆11Oct 21, 2022Updated 3 years ago
- ⚠️ [DEPRECATED] Ticketswoop is a basic puppeteer bot to purchase tickets on ticketswap☆13Oct 9, 2024Updated last year
- ☆10Nov 26, 2025Updated 3 months ago
- use iconfont in reactNative by react-native-vector-icons☆11Sep 13, 2017Updated 8 years ago