☆27Mar 7, 2026Updated last month
Alternatives and similar repositories for smartscp
Users that are interested in smartscp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A cloudflare worker that implements the vless server☆17Jan 22, 2025Updated last year
- candle_demo_openchat_35☆15Nov 30, 2023Updated 2 years ago
- RFC2217 (remote serial port) server library for ESP-IDF☆16Oct 5, 2025Updated 7 months ago
- Quick folders open and data is shared with autojump☆16Mar 19, 2024Updated 2 years ago
- hdfs client impl with pure rust☆19Jan 9, 2024Updated 2 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.
- Book of The Corner of Elixir☆18Aug 11, 2022Updated 3 years ago
- UtilMeta - progressive meta framework for API development in Python☆199Feb 11, 2026Updated 2 months ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- Verify naive = datafrog-opt, in rust/polonius☆15Jun 26, 2025Updated 10 months ago
- Intelligently disable ESLint rules for VS Code.☆21Sep 19, 2024Updated last year
- 开源社工作提案、决议库☆12Aug 6, 2025Updated 9 months ago
- A document about installing Domjudge 7.3.2 - 8.3.1 when holding a ICPC contest.☆10May 24, 2025Updated 11 months ago
- Convert pyim dictionary to fcitx dictionary☆12Feb 12, 2022Updated 4 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Tmux plug-in that can automatically generate countless charming themes and support a high degree of customization, bringing the most wo…☆16Apr 21, 2026Updated 2 weeks ago
- A terminal-renderer☆11Jun 8, 2025Updated 10 months ago
- ☆11Dec 27, 2021Updated 4 years ago
- Give you a better view of your Docker registry disk usage.☆22Sep 15, 2021Updated 4 years ago
- ☆10Jan 3, 2024Updated 2 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- Text-based 2048 in Python.☆23Jan 24, 2022Updated 4 years ago
- A list of the few things I don't like about rust☆13Mar 1, 2023Updated 3 years ago
- DOMjudge 中文文档☆10Feb 4, 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.
- 计网GBN实验（加流量窗）☆10Dec 3, 2014Updated 11 years ago
- The CompCert formally-verified C compiler☆11Updated this week
- The user-friendly command line shell.☆13Apr 9, 2025Updated last year
- A C# PE loader for x64 and x86 PE files.☆53Mar 9, 2026Updated last month
- 有关 Qv2ray 主项目及插件不再进行维护的通知☆16Aug 17, 2021Updated 4 years ago
- Collection of useful conversions and widgets implemented as a portable Rust app☆21Updated this week
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 9 years ago
- Native插件到Onebot协议的转换器.☆22Jan 26, 2021Updated 5 years ago
- ICPC Revolver Alternative☆10Jun 14, 2021Updated 4 years ago
- 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.
- Python 版 IRC 机器人☆14Mar 29, 2016Updated 10 years ago
- 个人简历☆13May 30, 2021Updated 4 years ago
- A set of tools for working with datafrog☆28Sep 1, 2025Updated 8 months ago
- Archived. Please refer to the new organization.☆12Oct 17, 2020Updated 5 years ago
- ☆19Dec 10, 2024Updated last year
- contains dists and related scripts☆17Updated this week
- rmtrash is a small utility that will move the file to macOS's Trash rather than obliterating the file (as rm does).☆100Mar 2, 2026Updated 2 months ago