Python tool for converting files and office documents to Markdown.

The Z3 Theorem Prover

The Bluetooth Protocol Of DG-LAB Devices

这是一个超可爱的 Chrome 扩展程序，专门为 LeetCode 刷题的小伙伴设计～

DigitalPlat FreeDomain: Free Domain For Everyone

The Arweave server and App Developer Toolkit.

The WorldWide Telescope web client lets you explore the universe in your browser.

Official Implementations for Paper - MagicQuill: An Intelligent Interactive Image Editing System

Source code of Windows XP (NT5). Leaks are not from me. I just extracted the archive and cabinet files.

This research used Bi-LSTM to infer the tone from tone-omitted Chinese phonetics.

Unofficial Python wrapper for the Zlibrary API.

批量举报B站麦片的程序

Python interface to WorldWide Telescope 🌌

Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with yo…

a fast, scalable, multi-language and extensible build system

LLMs as Copilots for Theorem Proving in Lean

JavaScript API for Chrome and Firefox

TurboWarp GUI and addons

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

北京八中自动抢课

The math library of Lean 4

Clapper.app, a video synthesizer and sequencer designed for the age of AI cinema

🧡 Follow your favorites in one inbox

Online MIDI Editor: signal

在线前端频率分析扒谱 front-end music transcription

Interactive AI music generation with Transformers

📥 Game Tracker: Counter-Strike 2

HOTGLUE is a Content Manipulation System which allows to construct websites directly in a web-browser.

A standalone implementation of the Tethered Serial Interface (TSI) in Python.