☆26Mar 7, 2026Updated 4 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:
- My implementation of "Build a Stock-Tracking CLI with Async Streams in Rust" - The Actor Model☆10Sep 20, 2024Updated last year
- A configurable project cleaning tool☆18Jul 19, 2026Updated last 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
- 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
- UtilMeta - progressive meta framework for API development in Python☆201Feb 11, 2026Updated 5 months ago
- This is a CDK project that deploys a Rust function using the Rust runtime for Lambda. This creates a basic handler that logs some data se…☆13May 28, 2026Updated last month
- YOLOv5 Inference with ONNX & OpenCV in Rust☆14Dec 26, 2023Updated 2 years ago
- A terminal-renderer☆11Jun 8, 2025Updated last year
- basic konwledge of webrtc☆12Jan 4, 2020Updated 6 years ago
- A cli tool to write your idea in terminal☆12Feb 19, 2021Updated 5 years ago
- The user-friendly command line shell.☆13Apr 9, 2025Updated last year
- 计网GBN实验（加流量窗）☆10Dec 3, 2014Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Collection of useful conversions and widgets implemented as a portable Rust app☆22Updated this week
- Verify naive = datafrog-opt, in rust/polonius☆16Jun 26, 2025Updated last year
- Python 版 IRC 机器人☆14Mar 29, 2016Updated 10 years ago
- ICPC Revolver Alternative☆10Jun 14, 2021Updated 5 years ago
- Use bilix to archive BiliBili video with metadata and danmaku.☆47Updated this week
- Bash douban.fm 客户端☆12Aug 18, 2016Updated 9 years ago
- RFC2217 (remote serial port) server library for ESP-IDF☆17Oct 5, 2025Updated 9 months 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
- Rust DataStruct And Algorithm 用Rust语言实现常用的数据结构和算法☆16Mar 13, 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.
- 个人简历☆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 5 years ago
- ☆12Sep 14, 2019Updated 6 years ago
- A collection of specialized AI agents for Claude Code that enhance software development workflows with focused expertise in specific doma…☆19Aug 25, 2025Updated 11 months ago
- ☆19Dec 10, 2024Updated last year
- Archived. Please refer to the new organization.☆12Oct 17, 2020Updated 5 years ago
- ☆23Oct 28, 2025Updated 8 months ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- A modern version of ‘ls’.☆15Jun 10, 2022Updated 4 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.
- JLU Online Judge vNext☆14Apr 12, 2021Updated 5 years ago
- find unicode characters based on their names☆18May 24, 2026Updated 2 months ago
- 有关 Qv2ray 主项目及插件不再进行维护的通知☆16Aug 17, 2021Updated 4 years ago
- Create and explore Mermaid diagrams in collaboration with AI agents (TUI + MCP Server)☆60Jul 11, 2026Updated 2 weeks ago
- Video creation tool: Video editing (with extensive AI-assisted features), screen recording, streaming, and screen sharing. 视频编辑（大量AI辅助功能…☆21Updated this week
- 自定义配置任意语言的高亮语法，比如 vue、react、svelte、solid 等，你可以强调突出一些特定的语法或者事件，让你更加容易阅读代码也可以让你的编辑器看上去更与众不同☆87Jul 16, 2026Updated last week
- A safer rm alternative that moves files and directories to a trash bin instead of permanently deleting them. Simplifies file recovery wit…☆59Mar 19, 2025Updated last year