An online dictionary using youdao dict api. Inspired by wudao-dict.
☆16Feb 26, 2026Updated 2 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☆66Apr 8, 2026Updated last month
- A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.☆57May 24, 2023Updated 2 years ago
- [WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.☆39Jun 9, 2022Updated 3 years ago
- Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.☆12Dec 16, 2022Updated 3 years ago
- A Modern Text-based User Interface for ChatGPT.☆13Jul 25, 2023Updated 2 years ago
- 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.
- A fast, cross-platform system information tool written in Rust.☆15Mar 7, 2026Updated 2 months ago
- A simple JS script to register desired course when slots are available, for UM-SJTU JI students.☆12May 9, 2022Updated 4 years ago
- New generation of Canvas Helper.☆12Jul 15, 2024Updated last year
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Digital oscilloscope based on stm32☆11Jan 9, 2023Updated 3 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆12Feb 7, 2025Updated last year
- Expanding Mod Power Integration☆10Aug 30, 2016Updated 9 years ago
- A template for writing CMSIS-Pack flash algorithms in Rust☆25Apr 25, 2025Updated last year
- A tiny iOS app for fetching classes from BUAA. (course assignment for BUAA-Swift)☆10May 8, 2021Updated 5 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.
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22May 23, 2022Updated 3 years ago
- An MIPS pipelined processor with hazard detection for the course VE370 (FA2020) at UMJI.☆11Dec 28, 2020Updated 5 years ago
- EMT: An OS Framework for New Memory Translation Architectures☆34Jul 22, 2025Updated 9 months ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- Verify naive = datafrog-opt, in rust/polonius☆15Jun 26, 2025Updated 10 months ago
- deepin-wine5 AUR: https://aur.archlinux.org/packages/deepin-wine5☆19Aug 17, 2021Updated 4 years ago
- Offline dictionary using data from wiktionary.☆19Nov 27, 2024Updated last year
- A compiler from a subset of Rust to Brainfuck☆14Oct 2, 2024Updated last year
- Automatically exported from code.google.com/p/linear-algebra☆10Mar 6, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Ueberzug fork that supports suckless's tabbed.☆14Oct 11, 2024Updated last year
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- Text-based 2048 in Python.☆23Jan 24, 2022Updated 4 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Apr 21, 2020Updated 6 years ago
- ☆24Feb 14, 2025Updated last year
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- The CompCert formally-verified C compiler☆11Apr 30, 2026Updated last week
- Notes for different courses in SJTU☆26Jun 2, 2024Updated last year
- A package in C++ for character or word ngram analysis. It uses Ternary Search Tree instead of hashing table for faster ngram frequency co…☆20May 11, 2015Updated 10 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.
- ☆32Jul 13, 2022Updated 3 years ago
- Collection of course syllabus and websites (mainly EECS) @ Umich☆29Jul 19, 2022Updated 3 years ago
- Rust HAL implementation for py32 MCUs☆26Dec 20, 2025Updated 4 months ago
- HangGai for BUAA, built with SwiftUI.☆15Oct 11, 2021Updated 4 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 9 years ago
- ESP-IDF library for SGP30 air quality sensor☆13Aug 26, 2025Updated 8 months ago
- 泊⻋路径规划是指从⾃⻋位置规划出⼀条到达满⾜⻋位姿态的⽆碰撞路径。⽬前泊⻋路径规划在⼯业 界已有实现应⽤，但在狭窄拥挤的空间下能够成功规划并降低耗时依然是⼀个挑战。☆15Jun 18, 2023Updated 2 years ago