wxflogic / logic_vsiView external linksLinks
牛津通识读本 Logic: A Very Short Introduction 新译本（补充了第2版新增的两章）
☆416Aug 29, 2024Updated last year
Alternatives and similar repositories for logic_vsi
Users that are interested in logic_vsi are comparing it to the libraries listed below
Sorting:
- ☆11Oct 24, 2024Updated last year
- an CoreAnimation layer engine on windows platform, some like core animation in cocoa frameworks. lightweight and c++.☆10Sep 21, 2023Updated 2 years ago
- A tool for translating epub files to different languages using the Google Translate, with support for custom dictionaries.☆39Sep 6, 2024Updated last year
- 支持工具调用的公众号聊天机器人☆50Jan 3, 2025Updated last year
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Sep 21, 2022Updated 3 years ago
- ☆13Aug 25, 2021Updated 4 years ago
- ☆54Feb 19, 2022Updated 3 years ago
- Haskell官方教程的中文翻译版。☆19Oct 31, 2011Updated 14 years ago
- webrtc sharing file☆13Dec 30, 2024Updated last year
- ☆16Dec 22, 2024Updated last year
- 网页实时Markdown转换为Slide幻灯片，主题灵感来源于南京大学蒋炎岩jyy老师☆95Nov 30, 2024Updated last year
- EZ-Work AI文档翻译，人人可用的开源AI文档翻译助手，可以快速低成本调用OpenAI等大语言模型api，帮助您实现txt/markdown/word/csv/excel/pdf/ppt的文档翻译。☆251Mar 27, 2025Updated 10 months ago
- 用作文档目的，翻译方式见 Issue #10☆41Apr 1, 2019Updated 6 years ago
- Zotero&Obsidian联动方案（zotero integration + zotlit）☆24Aug 16, 2024Updated last year
- 一个基于ZhipuAI的文本到社交卡片(简历卡片)的生成工具.☆117Sep 18, 2024Updated last year
- 【编程随想】收藏的电子书清单（多个学科，含下载链接）☆19,804Aug 16, 2022Updated 3 years ago
- 像黑客一样使用命令行☆1,454Nov 18, 2022Updated 3 years ago
- ☆381Apr 28, 2022Updated 3 years ago
- This repository provides a comprehensive benchmark for evaluating the performance of neural watermarking techniques. The benchmark includ…☆24Jan 9, 2026Updated last month
- Play Bilibili Video in MPV (Firefox / Chrome extension)☆51Feb 12, 2025Updated last year
- 「海外工具网站」已经是我人生主要事业了，很庆幸还来得及，感谢这个伟大的 AI 时代。☆3,359Jun 7, 2025Updated 8 months ago
- VodNext是一个电影、电视剧、动漫资源播放器☆28Feb 6, 2026Updated last week
- 经济学人(含音频)、纽约客、卫报 、连线、大西洋月刊等英语杂志免费下载,支持epub、mobi、pdf格式, 每周更新☆28,976Feb 6, 2026Updated last week
- 轻松将 Azure TTS 语音合成服务导入阅读软件。现支持阅读（legado）、爱阅记、源阅读。☆392Dec 4, 2025Updated 2 months ago
- PostSync是一款开源的跨平台文章同步工具，可以同步你的文章到多个平台。 一次编写，多处同步，同时上传标签，分类，栏目，封面等参数。☆100Feb 17, 2025Updated 11 months ago
- [IP&M 2022] Telegram地下市场中文黑话识别语料集。Telegram Underground Market Chinese Corpus. Paper: Identification of Chinese Dark Jargons in Telegram U…☆195Mar 1, 2024Updated last year
- 不自由的自由 大李敖全集5.0出炉了，经过询问，可以上传到github，特此上传。☆111Dec 24, 2023Updated 2 years ago
- History of type theory (Chinese).☆360May 25, 2025Updated 8 months ago
- An advanced guide to learn English which might benefit you a lot 🎉 . 离谱的英语学习指南/英语学习教程/英语学习/学英语☆41,449Dec 26, 2025Updated last month
- 《大橘和朋友们的周刊》：分享日常冲浪互联网看到好玩的网站、app应用、资源分享、效率软件工具集等☆171Jan 10, 2026Updated last month
- TeachYourselfCS 的中文翻译 | A Chinese translation of TeachYourselfCS☆21,971Jan 18, 2023Updated 3 years ago
- ☆386Mar 31, 2025Updated 10 months ago
- python纯文字冒险游戏，这是我根据国外大牛分享的一个程序汉化改编的，修正了很多内容，大家如果需要的话自己拿去用。☆23Sep 19, 2018Updated 7 years ago
- 精选优质英语学习资源合集，专注于听说读写等核心技能的提升。包含语法、词汇和媒体资源，助您更好地学习英语。☆3,044Jan 29, 2026Updated 2 weeks ago
- A browser extension that uses AI to generate concise summaries of web articles☆106Feb 13, 2025Updated last year
- 润学之各主流发达移民国家比较☆272Mar 31, 2022Updated 3 years ago
- 本文原文由知名 Hacker Eric S. Raymond 所撰寫，教你如何正確的提出技術問題並獲得你滿意的答案。☆34,550Jan 1, 2025Updated last year
- 随时随地与他人同步观看视频或共享屏幕。无需注册，即点即用 | Watch videos in sync or share your screen with others. No signup, click and go.☆187Feb 6, 2026Updated last week
- Easy and blazing-fast book searcher, create and search your private library.☆6,317Oct 11, 2024Updated last year