AlexKontorovich / 2025EuclideanGeometryCourseLinks
Formal Euclidean Geometry Course, Rutgers Math Corps
☆97Updated 6 months ago
Alternatives and similar repositories for 2025EuclideanGeometryCourse
Users that are interested in 2025EuclideanGeometryCourse are comparing it to the libraries listed below
Sorting:
- # LaTeX 速成训练器 (LaTeX Speed Trainer) 一个专注、高效的在线训练环境,帮助用户通过"学习-练习-反馈-复习"的科学闭环,快速掌握LaTeX数学公式的键盘输入方法。☆132Updated 5 months ago
- 北理 ”编译原理与设计“ 课设,一款使用 Java 开发的简易 C 语言编译器(x86 架构),支持绝大部分 C 语言语法。☆118Updated 11 months ago
- well-documented demonstration Python Jupyter workflows for many common machine learning workflows☆259Updated last year
- 🚀全新重构!论文阅 读工具,一键截图AI翻译,支持数学公式,贴片截图,窗口锁定,归档管理☆135Updated last week
- 📕📗📘收集的各种书籍,pdf,ppt,doc资料,下载链接永久有效!☆123Updated last year
- Excel文件对比工具☆530Updated 4 months ago
- ☆84Updated 10 months ago
- 单词灵魂解剖师 — Claude Code Skill,深度解构英文单词,生成博物馆级 HTML 卡片☆136Updated this week
- ☆176Updated this week
- 《The Maeiee's Book》(简称 TMB)☆186Updated 3 months ago
- WordFormatter 是一款用于 自动整理 Word 文档标题编号与段落格式的桌面轻量级工具。它能帮助用户一键格式化word文档,方便生成目录、规范论文或课程报告的排版。☆111Updated last month
- Drawnix whiteboard application - open source collaborative drawing tool with mind maps, flowcharts, and free drawing capabilities☆258Updated 5 months ago
- An educational AI coding agent CLI☆281Updated 3 months ago
- 《Claude Code in Action》中文版☆305Updated last month
- python script to search everything by mdfind on MacOS☆133Updated last week
- 简单的AI桌面英语程序。点亮屏幕,欣赏美景,邂逅知识,聚沙成塔。☆143Updated last week
- File convertor☆188Updated 4 months ago
- Prompt Shelf is a lightweight prompt management system designed for developers and AI engineers.☆179Updated 6 months ago
- This plugin allows you to open your Obsidian vault or current file in your favorite IDE or text editor. Support VSCode, Cursor, Windsurf,…☆21Updated 11 months ago
- 2025 精选|全球顶尖高校计算机科学免费公开课合集!MIT、斯坦福等名校核心课全收录,从入门到进阶覆盖算法、AI、操作系统,助力高效提升技能。☆476Updated 3 months ago
- 44000+ 词汇语料库☆418Updated 8 months ago
- 收集我做的一些PostgreSQL脑图。☆72Updated 2 years ago
- youtube video processing scripts☆83Updated last year
- A sleek dataset viewer built entirely by AI Agent. Supports streaming large files from WebDAV, S3, SSH, Local or Hugging Face.☆620Updated this week
- Python相关脑图资源库。☆64Updated 2 years ago
- Learn programming by building popular technologies from scratch. This repository guides you through creating systems like web servers, da…☆201Updated this week
- An interactive Japanese text analysis and speech synthesis web app☆433Updated 3 months ago
- 《交互的Python:数据分析入门》☆129Updated 3 years ago
- 🌐 A simple Cloudflare Worker - Serverless & Cost-Effective: No need to rent or manage your own server. Cloudflare Workers operate on a s…☆310Updated 6 months ago
- YouTube到AcFun自动化搬运工具,支持AI翻译、字幕生成、内容审核、智能监控☆227Updated 2 weeks ago