An online dictionary using youdao dict api. Inspired by wudao-dict.
☆17Feb 26, 2026Updated 5 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☆68Updated this week
- Avoiding merge conflicts by making invalid collaboration states unrepresentable.☆26May 18, 2026Updated 2 months ago
- A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.☆56May 24, 2023Updated 3 years ago
- [WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.☆39Jun 9, 2022Updated 4 years ago
- A Modern Text-based User Interface for ChatGPT.☆13Jul 25, 2023Updated 3 years ago
- 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.
- A fast, cross-platform system information tool written in Rust.☆16Jun 22, 2026Updated last month
- A simple JS script to register desired course when slots are available, for UM-SJTU JI students.☆13May 9, 2022Updated 4 years ago
- A fast approximate membership query data structure☆12Jul 16, 2024Updated 2 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆14Feb 20, 2024Updated 2 years ago
- Digital oscilloscope based on stm32☆11Jan 9, 2023Updated 3 years ago
- An MIPS pipelined processor with hazard detection for the course VE370 (FA2020) at UMJI.☆11Dec 28, 2020Updated 5 years ago
- ☆11Dec 12, 2020Updated 5 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.
- Expanding Mod Power Integration☆10Aug 30, 2016Updated 9 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
- Some neat fish snippets and tricks☆14Jan 4, 2026Updated 6 months 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
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22May 23, 2022Updated 4 years ago
- A nushell plugin to list all active connections and scanning ports on a target address (replacement of both nu_plugin_port_scan and nu_pl…☆16Jul 12, 2026Updated 2 weeks ago
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- Simple Windows GUI for GHCi.☆20Sep 29, 2015Updated 10 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.
- ☆14Sep 3, 2021Updated 4 years ago
- IntelliJ plugin for several experimental programming languages here☆37Oct 18, 2021Updated 4 years ago
- A compiler from a subset of Rust to Brainfuck☆16Oct 2, 2024Updated last year
- ☆20Jul 7, 2026Updated 3 weeks ago
- Ueberzug fork that supports suckless's tabbed.☆14Oct 11, 2024Updated last year
- A terminal-renderer☆11Jun 8, 2025Updated last year
- A SyGuS Solver☆30May 18, 2025Updated last year
- ☆11Dec 27, 2021Updated 4 years ago
- Automatically exported from code.google.com/p/linear-algebra☆10Mar 6, 2016Updated 10 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 simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- Notes for different courses in SJTU☆27Jun 2, 2024Updated 2 years ago
- Collection of course syllabus and websites (mainly EECS) @ Umich☆32Jul 19, 2022Updated 4 years ago
- Migrated to: https://codeberg.org/openculinary/knowledge-graph☆11Aug 21, 2025Updated 11 months ago
- HangGai for BUAA, built with SwiftUI.☆15Oct 11, 2021Updated 4 years ago
- Verify naive = datafrog-opt, in rust/polonius☆16Jun 26, 2025Updated last year
- A template for writing CMSIS-Pack flash algorithms in Rust☆24Apr 25, 2025Updated last year