Formal Euclidean Geometry Course, Rutgers Math Corps
☆104Jul 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:
- 微积分笔记—简单题和野鸡题☆30Oct 7, 2023Updated 3 years ago
- Algorithms, 4th edition textbook code in C++☆448Jan 26, 2026Updated 9 months ago
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- 北理 ”编译原理与设计“ 课设，一款使用 Java 开发的简易 C 语言编译器（x86 架构），支持绝大部分 C 语言语法。☆147Mar 4, 2025Updated last year
- 物理笔记Latex源码☆26Jan 1, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Oct 25, 2026Updated last week
- 陶哲轩实分析（第三版）习题解答☆31Jul 13, 2025Updated last year
- A stupidly simple dictionary.☆25Updated this week
- For the knowledge and the world.☆18Oct 17, 2026Updated 2 weeks ago
- Hand-written verified Lean solutions for the HumanEval benchmark☆33Mar 27, 2026Updated 7 months ago
- Interactive root/affix vocabulary memory web app☆189Feb 25, 2026Updated 8 months ago
- Like `requests` for mathematical computing, making complex math feel simple.☆170Mar 2, 2026Updated 8 months ago
- well-documented demonstration Python Jupyter workflows for many common machine learning workflows☆382Sep 30, 2024Updated 2 years ago
- Reusable Agent skills maintained by endearqb☆19Sep 3, 2026Updated last month
- 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.
- From Calculus to Cohomology - Ib Madsen and Jørgen Tornehave☆13Oct 2, 2026Updated last month
- 此仓库包括我所做过的来自各大题库的 OJ 算法题的题解，这些题库包括：浙江大学计算机程序设计能力考试（PAT）题库，UVa 题库，Codeup 题库，洛谷题库，北京大学 OJ 题库（POJ），安徽科技学院 ACM 题库（AOJ）......目前在主攻 PAT，完成度已过 5…☆22Jan 27, 2023Updated 3 years ago
- A collection of templates for Obsidian☆16Jan 3, 2024Updated 2 years ago
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆35Mar 9, 2026Updated 7 months ago
- ☆16Aug 21, 2026Updated 2 months ago
- Formalization of IMO shortlist problems in Lean 4☆27Oct 14, 2026Updated 2 weeks ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆105Oct 12, 2026Updated 3 weeks ago
- Open-source Agent-to-IM connector☆25Jun 11, 2026Updated 4 months ago
- Xbox无线手柄 → macOS全功能遥控器，所有按键映射为键盘快捷键☆25May 4, 2026Updated 5 months ago
- 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.
- ☆51Oct 2, 2026Updated last month
- Convert TikZ/LaTeX figures and files into animated GIFs☆17Jun 16, 2026Updated 4 months ago
- Drop a PDF onto a page, get markdown back. Everything runs locally in the browser, no uploads, no server.☆23Jul 22, 2026Updated 3 months ago
- 阿喵收音机 · Self-hosted Rust radio with SQLite, personal presets, four tactile themes, localization and a clock sleep timer☆26Oct 20, 2026Updated last week
- Private, on-device meeting transcription and dictation for macOS. Local STT, summaries and action items, full exports, MCP server for AI …☆20Updated this week
- A TikZ drawing tool☆55Jul 26, 2026Updated 3 months ago
- Enterprise SSL/TLS Certificate Automation Platform / 企业证书自动化管理平台☆22Sep 9, 2026Updated last month
- Explorations in Algebraic Graph Theory☆11Oct 14, 2015Updated 11 years ago
- AetherViz Master - 互动教育可视化建筑师，将任意教学主题转化为沉浸式3D交互网页☆1,665Apr 20, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆95Dec 20, 2025Updated 10 months ago
- A curated list of the best exam prep, subject study, and learning-tool resources for students. IB, IGCSE, GCSE, A-Level, AP, SAT, ACT: ev…☆31Updated this week
- A repository for creating a cookbook from recipes☆10Nov 17, 2025Updated 11 months ago
- Matrix Calculus skill based on Jan R. Magnus' tutorial☆15Mar 15, 2026Updated 7 months ago
- converts images containing mathematical equations, tables, and other structured content into LaTeX code.☆12Feb 2, 2026Updated 9 months ago
- YouTube 直播实时 AI 翻译字幕，支持本地 Ollama，英中双向。首次配置，日常双击启动。AI captions for YouTube livestreams with local Ollama. English ↔ Chinese. Windows/NVIDI…☆33Oct 13, 2026Updated 2 weeks ago
- 这是我自己排版的红楼梦脂评本，在内容上源自亚马逊☆63Oct 4, 2022Updated 4 years ago