☆19Dec 10, 2024Updated last year
Alternatives and similar repositories for mdict-cli-rs
Users that are interested in mdict-cli-rs 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 comprehensive library for working with the Canvas API.☆21Mar 29, 2024Updated 2 years ago
- ☆26Sep 23, 2023Updated 2 years ago
- The CompCert formally-verified C compiler☆11Jul 16, 2026Updated last week
- Verify naive = datafrog-opt, in rust/polonius☆16Jun 26, 2025Updated last year
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- https://docs.rs/lzma-rs binding to Node.js via https://napi.rs☆21Updated this week
- System Programming include database/command/file_system☆14Jun 24, 2022Updated 4 years ago
- ☆21Jun 25, 2026Updated 3 weeks ago
- A set of tools for working with datafrog☆30Sep 1, 2025Updated 10 months ago
- Rust面试题收集☆12Jan 16, 2023Updated 3 years ago
- Vulkan Engine in Rust for Animation☆18Nov 14, 2024Updated last year
- Home of the operational semantics team, used primarily for procedural items☆21Updated this week
- 收集整理在 Rust 众 https://t.me/rust_zh 的讨论中出现的一些常见疑问及其解答☆60Jan 14, 2024Updated 2 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 绿色实用,功能强大的快速启动软件,Merry和ALTRun的结合体☆13Sep 30, 2020Updated 5 years ago
- An offline Rust thesaurus library.☆12Aug 13, 2022Updated 3 years ago
- Drag and drop files from CLI, like dragon, but for windows☆19Feb 25, 2023Updated 3 years ago
- Convert pyim dictionary to fcitx dictionary☆12Feb 12, 2022Updated 4 years ago
- A compiler from a subset of Rust to Brainfuck☆16Oct 2, 2024Updated last year
- [WIP] A TUI for Rust docs that aims to improve the UX on tree view and generic code.☆33Apr 20, 2025Updated last year
- 程序员面试金典（第6版）Go、C++、Rust题解☆17Sep 19, 2021Updated 4 years ago
- A list of the few things I don't like about rust☆13Mar 1, 2023Updated 3 years ago
- Choose Your Favorite String in Rust!☆23Jul 22, 2024Updated 2 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.
- A gulp plugin for artTemplate.☆11Jan 17, 2017Updated 9 years ago
- Remember me my commands☆27Aug 7, 2020Updated 5 years ago
- Similar to *script* without replay but with a mechanism to inject keytrokes in the slave's keyboard queue☆17Aug 1, 2021Updated 4 years ago
- ☆15May 11, 2026Updated 2 months ago
- Bash douban.fm 客户端☆12Aug 18, 2016Updated 9 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
- Header only c++ network library, based on asio,support tcp,udp,http,websocket,rpc,ssl,icmp,serial_port.☆11Nov 20, 2020Updated 5 years ago
- A modern version of ‘ls’.☆15Jun 10, 2022Updated 4 years ago
- find unicode characters based on their names☆18May 24, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- flutter 级联选择器☆17Dec 24, 2023Updated 2 years ago
- Japanese synonym library☆11Apr 18, 2022Updated 4 years ago
- An image editor with crop, scribble, mosaic, add-text, flip, rotated functions.☆51Nov 2, 2023Updated 2 years ago
- k-means and k-means++ in js.☆15Mar 4, 2025Updated last year
- BDC is the eBPF powered DNS caching mechanism in kernel inspired by BMC☆10May 13, 2022Updated 4 years ago
- Ergonomic, efficient and Zero-cost rust bindings to Lua5.4☆37Dec 25, 2024Updated last year
- ☆15Apr 13, 2022Updated 4 years ago