☆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:
- The CompCert formally-verified C compiler☆11Updated this week
- Intelligently disable ESLint rules for VS Code.☆21Sep 19, 2024Updated last year
- Verify naive = datafrog-opt, in rust/polonius☆17Jun 26, 2025Updated last year
- Pinyin Search • 拼音搜索，是一个支持拼音搜索的浏览器扩展☆12Apr 1, 2024Updated 2 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated 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.
- ☆23Jun 25, 2026Updated last month
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- Home of the operational semantics team, used primarily for procedural items☆21Aug 4, 2026Updated last week
- 🦀 A browser extension to explore rust cargo dependencies on GitHub repos☆24Jun 17, 2022Updated 4 years ago
- PDF Paper File Rename Software 自动提取PDF论文的文章标题作为该PDF的文件名☆10Jul 22, 2026Updated 3 weeks ago
- Outlook Add-in providing an improved meeting reminder window that appears on top of other windows and gives better control of snooze time…☆18Jan 24, 2025Updated last year
- An offline Rust thesaurus library.☆12Aug 13, 2022Updated 4 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
- 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 terminal-renderer☆11Jun 8, 2025Updated 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
- ☆11Dec 27, 2021Updated 4 years ago
- Easily install and use JRE from a Node application.☆13Updated this week
- A list of the few things I don't like about rust☆13Mar 1, 2023Updated 3 years ago
- Global command palette for Windows☆19Aug 1, 2022Updated 4 years ago
- The user-friendly command line shell.☆13Apr 9, 2025Updated last year
- Similar to *script* without replay but with a mechanism to inject keytrokes in the slave's keyboard queue☆17Aug 1, 2021Updated 5 years ago
- Spam SMS Detector, Flutter Application☆11Oct 14, 2021Updated 4 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.
- Bash douban.fm 客户端☆12Aug 18, 2016Updated 9 years ago
- ☆66Jul 3, 2024Updated 2 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
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Snippet manager with massCode integration and caret position control☆22Nov 4, 2025Updated 9 months ago
- find unicode characters based on their names☆19May 24, 2026Updated 2 months ago
- SendText is an AutoHotkey v2 script that simplifies the management of your hotstrings and text snippets.☆23May 19, 2024Updated 2 years ago
- Japanese synonym library☆11Apr 18, 2022Updated 4 years ago
- Flutter Widgets kit based on Vant Design☆18Jun 25, 2024Updated 2 years ago
- 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.
- BDC is the eBPF powered DNS caching mechanism in kernel inspired by BMC☆10May 13, 2022Updated 4 years ago
- node-addon-api for HarmonyOS/HarmonyNext☆13May 19, 2026Updated 2 months ago
- ☆15Apr 13, 2022Updated 4 years ago
- Language recognition tool for JavaScript RTEs☆14Jun 22, 2023Updated 3 years ago
- CLI to start Flask projects☆12Aug 24, 2024Updated last year
- (WIP) A fast and modern download manager made using flutter.☆13Sep 6, 2021Updated 4 years ago
- ☆26Mar 7, 2026Updated 5 months ago