An online dictionary using youdao dict api. Inspired by wudao-dict.
☆16Feb 26, 2026Updated last month
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☆65Apr 8, 2026Updated last week
- 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
- 一本介绍如何使用Rust编程语言在裸板上开发固件的中文文档☆46Jun 3, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- New generation of Canvas Helper.☆12Jul 15, 2024Updated last year
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆15Feb 20, 2024Updated 2 years ago
- ☆13Jan 19, 2026Updated 3 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- ☆11Dec 12, 2020Updated 5 years ago
- A tiny iOS app for fetching classes from BUAA. (course assignment for BUAA-Swift)☆10May 8, 2021Updated 4 years ago
- TexLive package manager for ArchLinux (or any distro using pacman)☆16Mar 30, 2023Updated 3 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22May 23, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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☆33Jul 22, 2025Updated 8 months ago
- OpenCode plugin that automatically loads direnv environment variables at session start☆38Dec 11, 2025Updated 4 months ago
- Learning FPGA, yosys, nextpnr, and RISC-V☆13Jan 5, 2021Updated 5 years ago
- storing some e-books or documents from wibesites☆18Oct 23, 2020Updated 5 years ago
- My solution to ‘Haskell: The Craft of Functional Programming (3rd Edition)’☆14Aug 11, 2017Updated 8 years ago
- Conver pyim dictionary to fcitx dictionary☆12Feb 12, 2022Updated 4 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- The VeriNet toolkit for verification of neural networks☆22Jul 2, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- [T-RO 2025] Code for Let's Make a Splan: Risk-Aware Trajectory Optimization in a Normalized Gaussian Splat☆20Oct 8, 2025Updated 6 months ago
- My blog☆11Jul 6, 2025Updated 9 months ago
- This repository shows minimal pybind11 examples using catkin or colcon.☆18Jan 20, 2023Updated 3 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Apr 21, 2020Updated 5 years ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- The user-friendly command line shell.☆13Apr 9, 2025Updated last year
- Moved to https://codeberg.org/ilius/chunk32☆13Nov 15, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A SyGuS Solver☆30May 18, 2025Updated 11 months ago
- 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
- ☆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 3 months ago
- HangGai for BUAA, built with SwiftUI.☆15Oct 11, 2021Updated 4 years ago
- ESP-IDF library for SGP30 air quality sensor☆13Aug 26, 2025Updated 7 months ago