☆26Mar 7, 2026Updated 5 months ago
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 configurable project cleaning tool☆18Updated this week
- A cloudflare worker that implements the vless server☆17Jan 22, 2025Updated last year
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- Onepage scroll webpage in component.☆15Aug 30, 2018Updated 7 years ago
- Quick folders open and data is shared with autojump☆16Mar 19, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- hdfs client impl with pure rust☆19Jan 9, 2024Updated 2 years ago
- 开源社工作提案、决议库☆13Aug 6, 2025Updated last year
- A document about installing Domjudge 7.3.2 - 8.3.1 when holding a ICPC contest.☆10May 24, 2025Updated last year
- Intelligently disable ESLint rules for VS Code.☆21Sep 19, 2024Updated last year
- A compiler from a subset of Rust to Brainfuck☆16Oct 2, 2024Updated last year
- candle_demo_openchat_35☆15Nov 30, 2023Updated 2 years ago
- ☆11Dec 27, 2021Updated 4 years ago
- A list of the few things I don't like about rust☆13Mar 1, 2023Updated 3 years ago
- The CompCert formally-verified C compiler☆11Aug 8, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 计网GBN实验（加流量窗）☆10Dec 3, 2014Updated 11 years ago
- Verify naive = datafrog-opt, in rust/polonius☆17Jun 26, 2025Updated last year
- Native插件到Onebot协议的转换器.☆22Jan 26, 2021Updated 5 years ago
- Use bilix to archive BiliBili video with metadata and danmaku.☆48Jul 23, 2026Updated 3 weeks ago
- Bash douban.fm 客户端☆12Aug 18, 2016Updated 9 years ago
- Homeinfra offers a strong, dependable, and easily replicable configuration for your homelab, incorporating vital elements like HTTPS, NAT…☆239Mar 9, 2024Updated 2 years ago
- 个人简历☆13May 30, 2021Updated 5 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 6 years ago
- ☆12Sep 14, 2019Updated 6 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.
- A collection of specialized AI agents for Claude Code that enhance software development workflows with focused expertise in specific doma…☆20Aug 25, 2025Updated 11 months ago
- Archived. Please refer to the new organization.☆12Oct 17, 2020Updated 5 years ago
- ☆23Oct 28, 2025Updated 9 months ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- find unicode characters based on their names☆19May 24, 2026Updated 2 months ago
- Create and explore Mermaid diagrams in collaboration with AI agents (TUI + MCP Server)☆61Jul 11, 2026Updated last month
- Download Bilibili album. 下载Bilibili用户相簿☆11Dec 6, 2022Updated 3 years ago
- Raft transport layer that implements the Redis protocol☆15Nov 3, 2020Updated 5 years ago
- WebRTC transport for libp2p (native and wasm)☆31Nov 29, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 提供一个集中化的命令行工具速查表仓库，通过简单的命令，快速查询和查看各种常用命令速查表。☆78Dec 17, 2025Updated 7 months ago
- ☆36Jan 24, 2025Updated last year
- A high-performance embedded time-series + JSON document storage engine (LSM-tree), with built-in IndexedDB-compatible API.☆85Jul 31, 2026Updated 2 weeks ago
- This is a browser extension that protects the author's privacy by hiding pinned browser extensions.☆71Oct 14, 2024Updated last year
- Stable sort algorithms and their stability proofs in Rocq☆25Dec 10, 2025Updated 8 months ago
- [EOL] Process Polygon Package to DOMjudge Package.☆12Apr 24, 2021Updated 5 years ago
- Safely switch local app accounts, profiles, and state for Claude Code, OpenAI Codex, and extensible app definitions.☆28Jul 22, 2026Updated 3 weeks ago