Modal Logic Playground

📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG

🐿️ Sirchmunk: Raw data to self-evolving intelligence, real-time.

The Z3 Theorem Prover

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

ML-powered manga translator, written in Rust.

Zero encoding extreme performance binary serializer for C# and Unity.

A fraction data type to calculate with rational numbers.

Blazor wrapper for CodeMirror 6

3D force-directed graph component using ThreeJS/WebGL

Collection of Catala programs

GitHub Copilot CLI brings the power of Copilot coding agent directly to your terminal.

A hormone replacement therapy tracker for transgender individuals

Multi-platform SDK for integrating GitHub Copilot Agent into apps and services

A lightweight NuGet and symbol server

Translate manga/image.

基于 manga-image-translator 的开源漫画翻译工具。支持日/韩/美漫自动翻译，内置 OpenAI、Gemini 等 5 种翻译引擎，并提供可视化编辑器自由调整文本样式。一键安装，开箱即用。如果喜欢，欢迎点亮 ⭐ Star 支持！

Translate manga/image 一键翻译各类图片内文字 https://cotrans.touhou.ai/ (no longer working)

Experimenting with dotnet runtime.

基于 .Net 框架搭建的一个基础项目结构

Blender addon to rotate your animations for all directions, created for C&C games (TS,RA2)

Mathematica Theory of Computer Algebra System

TW5-Graph: Dynamic and customizable graphing library for Tiddlywiki5

High performance, thread-safe in-memory caching primitives for .NET

A MCP server that enables you to manage Gitea/Forgejo repositories through AI assistants

💫 Toolkit to help you get started with Spec-Driven Development

An implementation of algebraic effects in dotnet.

Extremely Fast MessagePack Serializer for C#(.NET, .NET Core, Unity, Xamarin). / msgpack.org[C#]