☆26Mar 7, 2026Updated 7 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 2 years ago
- ☆14Mar 25, 2024Updated 2 years ago
- A configurable project cleaning tool☆18Oct 1, 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Quick folders open and data is shared with autojump☆15Mar 19, 2024Updated 2 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 10 years ago
- YOLOv5 Inference with ONNX & OpenCV in Rust☆14Dec 26, 2023Updated 2 years ago
- Intelligently disable ESLint rules for VS Code.☆21Sep 19, 2024Updated 2 years ago
- candle_demo_openchat_35☆15Nov 30, 2023Updated 2 years ago
- A terminal-renderer☆12Jun 8, 2025Updated last year
- Extension for Visual Studio Code that makes it easy for developers to build and debug Chaincode right from within the IDE.☆17Apr 14, 2026Updated 6 months ago
- The CompCert formally-verified C compiler☆11Aug 24, 2026Updated last month
- A cli tool to write your idea in terminal☆12Feb 19, 2021Updated 5 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.
- The user-friendly command line shell.☆13Apr 9, 2025Updated last year
- This is a book that explains driver development with Rust. It does so by procedurally creating a UART driver for a RISCV chip(an esp32c3)☆15Oct 21, 2024Updated last year
- DOMjudge 中文文档☆10Feb 4, 2021Updated 5 years ago
- 计网GBN实验（加流量窗）☆10Dec 3, 2014Updated 11 years ago
- Verify naive = datafrog-opt, in rust/polonius☆17Jun 26, 2025Updated last year
- Python 版 IRC 机器人☆14Mar 29, 2016Updated 10 years ago
- ICPC Revolver Alternative☆10Jun 14, 2021Updated 5 years ago
- Rust DataStruct And Algorithm 用Rust语言实现常用的数据结构和算法☆18Mar 13, 2024Updated 2 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆19Jul 30, 2020Updated 6 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.
- Mostly safe wrapper for alloca☆31Aug 3, 2023Updated 3 years ago
- A collection of specialized AI agents for Claude Code that enhance software development workflows with focused expertise in specific doma…☆20Aug 25, 2025Updated last year
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- 支持在线运行(Demo)和分享的代码演练场(Playground), 基于React + Quarkus (Grallvm) 构建, 目前已支持Java, Golang, Python, Nodejs, Javascript等.☆12Oct 8, 2026Updated last week
- find unicode characters based on their names☆19May 24, 2026Updated 4 months ago
- Download Bilibili album. 下载Bilibili用户相簿☆11Dec 6, 2022Updated 3 years ago
- Raft transport layer that implements the Redis protocol☆15Nov 3, 2020Updated 5 years ago
- 自定义配置任意语言的高亮语法，比如 vue、react、svelte、solid 等，你可以强调突出一些特定的语法或者事件，让你更加容易阅读代码也可以让你的编辑器看上去更与众不同☆87Jul 16, 2026Updated 2 months ago
- 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Rust implementation of AUTOSTAR's Scalable service-Oriented MiddlewarE over IP (SOME/IP).☆15Sep 17, 2026Updated 3 weeks ago
- 修改 pyTranscriber 得到 cli 版的 mypyTranscriber☆11Jun 9, 2021Updated 5 years ago
- A high-performance embedded time-series + JSON document storage engine (LSM-tree), with built-in IndexedDB-compatible API.☆85Jul 31, 2026Updated 2 months ago
- Stable sort algorithms and their stability proofs in Rocq☆26Sep 18, 2026Updated 3 weeks 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.☆27Jul 22, 2026Updated 2 months ago
- ☆12Jul 4, 2024Updated 2 years ago