Shadow any website for offline viewing, with the JavaScript stripped out

檢字法，全字集，高離散，低學習成本。

Codex IDE integration for Emacs

Rime 基盤 韓国語 入力機 / 基于 Rime 的韩语输入方案 / Rime ベースの韓国語IME 문경 | 文鏡

Systematic concurrency testing meets Haskell.

Web/desktop app to edit marey charts and animate timetables. Supports importing from OuDia(Second), pyetgr, and GTFS.

Rime Input Method Engine, the core library

集找番、追番、看番的一站式弹幕追番平台，云收藏同步 (Bangumi)，离线缓存，BitTorrent，弹幕云过滤。100% Kotlin/Compose Multiplatform

moran, kagiroi and mungyeong, a set of CJK rime input schemas

High-performance TRAMP backend using JSON-RPC instead of shell parsing

Declarative, component-based UI library for Emacs. React-like components with state, hooks, reconciliation, and layouts - rendered using native Emacs widgets.

Modern daily journaling interface for Emacs with reactive sidebar widgets, built on vulpea

Database layer for org-mode notes with async indexing, rich queries, backlink discovery, and external change detection. Scales to 100k+ notes.

A place to collect things about Nix/NixOS, it is also where to keep my dotfiles.

The P programming language.

🍬アマオケ🎤 是一个日语卡拉 OK 阅读打字唱歌练习软件！

AirPods liberated from Apple's ecosystem.

A modern static site generator by the Material for MkDocs team

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Calle 24 - Proxy Emacs image assets with SF Symbols

Anime streaming platform

Mac软件清单、Mac使用技巧整理，正在不断完善中。努力做到最全。

Contextual types meet mechanized metatheory!

Display tone-based jumpy pronunciations in Typst

The best ChatGPT that $100 can buy.