An online dictionary using youdao dict api. Inspired by wudao-dict.
☆17Feb 26, 2026Updated 6 months ago
Alternatives and similar repositories for charcoal
Users that are interested in charcoal 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 proof-of-concept programming language based on call-by-push-value☆70Updated this week
- [WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.☆39Jun 9, 2022Updated 4 years ago
- ☆38Updated this week
- A Modern Text-based User Interface for ChatGPT.☆13Jul 25, 2023Updated 3 years ago
- A fast, cross-platform system information tool written in Rust.☆16Jun 22, 2026Updated 2 months 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.
- New generation of Canvas Helper.☆11Jul 15, 2024Updated 2 years ago
- An MIPS pipelined processor with hazard detection for the course VE370 (FA2020) at UMJI.☆11Dec 28, 2020Updated 5 years ago
- TexLive package manager for ArchLinux (or any distro using pacman)☆16Mar 30, 2023Updated 3 years ago
- A tiny iOS app for fetching classes from BUAA. (course assignment for BUAA-Swift)☆10May 8, 2021Updated 5 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 10 years ago
- My blog☆11Jul 6, 2025Updated last year
- deepin-wine5 AUR: https://aur.archlinux.org/packages/deepin-wine5☆19Aug 17, 2021Updated 5 years ago
- Convert pyim dictionary to fcitx dictionary☆12Feb 12, 2022Updated 4 years ago
- IntelliJ plugin for several experimental programming languages here☆37Oct 18, 2021Updated 4 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.
- ☆22Updated this week
- The VeriNet toolkit for verification of neural networks☆22Jul 2, 2023Updated 3 years ago
- A terminal-renderer☆12Jun 8, 2025Updated last year
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Apr 21, 2020Updated 6 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 24, 2026Updated 2 weeks ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 6 years ago
- Moved to https://codeberg.org/ilius/chunk32☆12Nov 15, 2025Updated 9 months ago
- StarDict in Rust! 使用 离线 / 在线 词典在终端中查单 词、背单词！☆45Apr 7, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆32Jul 13, 2022Updated 4 years ago
- Migrated to: https://codeberg.org/openculinary/knowledge-graph☆11Aug 21, 2025Updated last year
- 泊⻋路径规划是指从⾃⻋位置规划出⼀条到达满⾜⻋位姿态的⽆碰撞路径。⽬前泊⻋路径规划在⼯业 界已有实现应⽤，但在狭窄拥挤的空间下能够成功规划并降低耗时依然是⼀个挑战。☆17Jun 18, 2023Updated 3 years ago
- Python 版 IRC 机器人☆14Mar 29, 2016Updated 10 years ago
- Static code analysis for VE280 projects☆17Jul 12, 2023Updated 3 years ago
- Bash douban.fm 客户端☆12Aug 18, 2016Updated 10 years ago
- An async python script that synchronizes files and folders across Canvas LMS Files and local, with extremely fast speed.☆55Dec 16, 2024Updated last year
- An artifact for Berti: an Accurate and Timely Local-Delta Data Prefetcher☆37Nov 9, 2022Updated 3 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
- 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 basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- ☆19Dec 10, 2024Updated last year
- Rust Hardware Abstraction Layer for Bouffalo chips☆25Aug 31, 2026Updated last week
- Neon lights in the night tonight and stars that shine in the open sky☆47Dec 17, 2023Updated 2 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- ZSH plugin for tmux that automatically sets the title of windows/panes as the current foreground command.☆24Dec 21, 2023Updated 2 years ago
- Prefix Filter: Practically and Theoretically Better Than Bloom.☆50Sep 12, 2022Updated 3 years ago