Double-entry accounting system with a command-line reporting interface

Practice English, one strike, one step forward; 练习英语，一次敲击，一点进步；

A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

A Model Context Protocol server for searching and analyzing arXiv papers

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

持续收集更新全网最全最有趣的Telegram机器人🤖大全，相信总有你需要的一款机器人~

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

An digital version of boardgame Deep Future

A simple 2d game framework

A simple list data sheet

Production-ready platform for agentic workflow development.

Staging repo for development of native port of TypeScript

Brotli compression format

Compression schemes for Microsoft IIS

A light-weight C/C++ IDE based on Qt

A lightweight data processing framework built on DuckDB and 3FS.

A high-performance distributed file system designed to address the challenges of AI training and inference workloads.

Python tool for converting files and office documents to Markdown.

收集整理远程工作相关的资料

Another Mihomo GUI.

Convert PDF to HTML without losing text or format.

Card query tool for Hearthstone

Ship of Theseus

A simple client for Android

A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience

Code for the manim-generated scenes used in 3blue1brown videos

In this repository we have collected all awesome tools for iranian people

Event streaming platform for agents, apps, and analytics. Continuously ingest, transform, and serve event data in real time, at scale.