Translate PDF, EPub, webpage, metadata, annotations, notes to the target language. Support 20+ translate services.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…

Fine-Grained Knowledge Fusion for Retrieval-Augmented Medical Visual Question

[try V7!] Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font for IDE and command line. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1

Medical image captioning using OpenAI's CLIP

Language-Guided Visual Aggregation for Video Question Answering

The Space ROS meta operating system for space robotics.

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

A framework for the elicitation, specification, formalization and understanding of requirements.