潮语拼音教程 (A tutorial on Teochew phonology). All rights reserved.

A simple, extensible LLM client for Emacs

A Python module for controlling interactive programs in a pseudo-terminal

Paste and run commands from bash, zsh, fish, tcsh, pwsh in xonsh shell.

🐚 Python-powered shell. Full-featured, cross-platform and AI-friendly.

Staggeringly powerful macOS desktop automation with Lua

Emacs Lisp support scripts

A tiny tool for conversion from pseudo-code to flowchart in character format.

mal - Make a Lisp

Component Architecture test suite and example apps.

sel4 benchmarking applications and support library.

Test suite for seL4.

Capability Distribution Language tools for seL4

seL4 specification and proofs

The seL4 microkernel

A set of python modules for working with AUTOSAR XML files

automotive software(OSEK & AUTOSAR) and its tool-chain

start emacs in less than 100ms

An Emacs Org-Mode implementation of Joel Spolsky's Evidence-Based Scheduling (https://www.joelonsoftware.com/2007/10/26/evidence-based-scheduling/).

Triggers a build when a certain condition is matched in JIRA

Get linux spotify's current playing song's lyrics.

NetEase Music Library for Emacs.

wangyi music client for emacs

A scriptable Desktop tool to control your Android

A shell script to install awesome command for *nix platform and set them up

Style package for directly including color emojis in latex documents

My customizations of Posix systems (Linux/Cygwin/Darwin/FreeBSD).