Stars
A little language for writing and hearing music in just intonation.
使用Google Gemini API，对hacker news Top100文章总结摘要并翻译成体中文，每日自动更新。
Make CommonMark more friendly for Japanese/Chinese/Korean (CommonMark next specification draft)—plugins & patched packages
2025 Summer events held by NYUSH AI Interest Group
A reimplementation of the minecraft server in rust.
Support TeX math equations with your Markdown documents.
Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Manage headless displays with Xvfb (X virtual framebuffer)
一个基于ollama+DeepSeek R1 32B+的AI的智能短视频脚本生成系统，集成内容创作、结构化存储与方案浏览功能，助力高效视频内容生产。
A swift and unified toolkit for symbolic music processing
Utility functions for handling MIDI data in a nice/intuitive way.
沉浸式双语网页翻译扩展 , 支持输入框翻译， 鼠标悬停翻译， PDF, Epub, 字幕文件, TXT 文件翻译 - Immersive Dual Web Page Translation Extension
Visualizing the network of math theories.
A highlight.js language grammar for the Lean theorem proving language.
Lean theorem proving interface which feels like pen-and-paper proofs.