Formal Euclidean Geometry Course, Rutgers Math Corps
☆103Jul 28, 2025Updated last year
Alternatives and similar repositories for 2025EuclideanGeometryCourse
Users that are interested in 2025EuclideanGeometryCourse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 《汇编语言一发入魂》配套代码☆15May 30, 2020Updated 6 years ago
- 微积分笔记—简单题和野鸡题☆29Oct 7, 2023Updated 2 years ago
- Algorithms, 4th edition textbook code in C++☆444Jan 26, 2026Updated 6 months ago
- 陶哲轩实分析（第三版）习题解答☆28Jul 13, 2025Updated last year
- 📚 A place for all lecture scripts, projects etc. for the "C++ for yourself" course☆413Jul 13, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Interactive root/affix vocabulary memory web app☆189Feb 25, 2026Updated 5 months ago
- well-documented demonstration Python Jupyter workflows for many common machine learning workflows☆357Sep 30, 2024Updated last year
- 此仓库包括我所做过的来自各大题库的 OJ 算法题的题解，这些题库包括：浙江大学计算机程序设计能力考试（PAT）题库，UVa 题库，Codeup 题库，洛谷题库，北京大学 OJ 题库（POJ），安徽科技学院 ACM 题库（AOJ）......目前在主攻 PAT，完成度已过 5…☆20Jan 27, 2023Updated 3 years ago
- Like `requests` for mathematical computing, making complex math feel simple.☆171Mar 2, 2026Updated 5 months ago
- A collection of templates for Obsidian☆16Jan 3, 2024Updated 2 years ago
- Privacy-first PDF handout generator – convert presentation slides into printable n-up layouts (2, 4, 6, 9 per page) using Next.js and pdf…☆78Apr 27, 2026Updated 3 months ago
- 这是我自己排版的红楼梦脂评本，在内容上源自亚马逊☆58Oct 4, 2022Updated 3 years ago
- ☆47Nov 9, 2025Updated 9 months ago
- AetherViz Master - 互动教育可视化建筑师，将任意教学主题转化为沉浸式3D交互网页☆1,351Apr 20, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A TikZ drawing tool☆51Jul 26, 2026Updated 2 weeks ago
- ☆14Sep 13, 2023Updated 2 years ago
- 北理 ”编译原理与设计“ 课设，一款使用 Java 开发的简易 C 语言编译器（x86 架构），支持绝大部分 C 语言语法。☆145Mar 4, 2025Updated last year
- Sutskever 30 implementations inspired by https://papercode.vercel.app/ | For Agents, use https://github.com/pageman/Sutskever-Agent | Pol…☆4,221Mar 15, 2026Updated 4 months ago
- Matrix Calculus skill based on Jan R. Magnus' tutorial☆16Mar 15, 2026Updated 5 months ago
- ☆26Updated this week
- The web app is a PDF processing tool that runs entirely in browser using Ghostscript WebAssembly. It provides the main features: compres…☆59Aug 17, 2025Updated 11 months ago
- The LaTeX template of my book Like a Boss http://LikeaBossBook.net☆12Apr 21, 2017Updated 9 years ago
- ☆37Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Scout 是一个基于 Roo Code VS Code 扩展 设计的实验性 Agent 实现。它专注于通过模拟人类行为进行精准的网络信息收集、研究与交互，旨在将 Roo Code 转变为一个强大的 Web 研究助手。☆121Apr 11, 2025Updated last year
- 📚 词根词缀记忆工坊 - 像搭积木一样记单词，掌握300个词根，解锁30,000+英语单词☆220Feb 25, 2026Updated 5 months ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆134Jul 5, 2026Updated last month
- 2022年哈尔滨工业大学（深圳）《操作系统》课程实验的xv6实验部分 | xv6 labs of the course "Operating System", HITSZ, 2022.☆12Jan 2, 2023Updated 3 years ago
- This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.☆12Oct 15, 2022Updated 3 years ago
- 显示GitHub仓库所使用的技术栈☆15Mar 8, 2026Updated 5 months ago
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆12Aug 28, 2024Updated last year
- Hunspell morphology dictionary for Japanese used in GoldenDict.☆18Mar 20, 2023Updated 3 years ago
- ☆103Apr 1, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Course materials for Chalmers TPIL25 class☆16Feb 13, 2025Updated last year
- 哈工大深圳 校园网全自动登录☆10Feb 7, 2023Updated 3 years ago
- 🔎📁 A file search utility to find files easier and faster. For macOS, Linux and Windows.☆305Jun 21, 2025Updated last year
- 物理笔记Latex源码☆24Jan 1, 2025Updated last year
- My Start Page for Browser☆112Apr 29, 2026Updated 3 months ago
- An implementation of vfmd in C++☆19Jun 23, 2014Updated 12 years ago
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year