Java Geometry Expert
☆475Dec 15, 2023Updated 2 years ago
Alternatives and similar repositories for Java-Geometry-Expert
Users that are interested in Java-Geometry-Expert are comparing it to the libraries listed below
Sorting:
- ☆25Aug 5, 2021Updated 4 years ago
- ☆58Aug 13, 2018Updated 7 years ago
- ☆12Oct 10, 2024Updated last year
- ☆12Feb 18, 2024Updated 2 years ago
- The root repository for the SpectralSequences project.☆32Feb 12, 2026Updated 2 weeks ago
- 线性代数 (2021-秋) 的课程页面☆12Dec 23, 2021Updated 4 years ago
- ☆108Sep 29, 2022Updated 3 years ago
- GUI tool for TikZ figure production☆119Feb 18, 2023Updated 3 years ago
- Synthetic geometry. Probably mostly algebraic geometry.☆26Jan 22, 2024Updated 2 years ago
- Hubert-based Forced Aligner☆33Feb 23, 2026Updated last week
- ☆11Sep 15, 2025Updated 5 months ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Nov 5, 2011Updated 14 years ago
- ☆28Jan 31, 2018Updated 8 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- ☆12May 19, 2025Updated 9 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- manim-kindergarten's communal repository☆505Aug 2, 2022Updated 3 years ago
- The BHCexam document class attempts to make it easy for even a LaTeX novice to prepare exams.☆97May 29, 2025Updated 9 months ago
- ☆69Dec 27, 2023Updated 2 years ago
- Modern asynchronous version management system☆10Jan 22, 2026Updated last month
- 一份manim中文教程文档 / manim tutorial document in Chinese (完善中)☆167Dec 8, 2022Updated 3 years ago
- This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.☆12Oct 15, 2022Updated 3 years ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Jun 20, 2022Updated 3 years ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 10 months ago
- Rubi for Mathematica☆257Feb 22, 2024Updated 2 years ago
- Yanqi Lake Lectures on Algebra, Part III☆54Feb 16, 2026Updated 2 weeks ago
- 听说有人用Python壳子的语言骗经费? 过来挨打?☆49Jan 27, 2020Updated 6 years ago
- A technical guide for pairing CJK and Latin fonts☆12Oct 5, 2021Updated 4 years ago
- 将专业术语和名人名言以随机报菜名的方式填入模板，生成一篇只有聪明人才能看懂的满分作文！☆1,041Sep 11, 2022Updated 3 years ago
- PainterEngine is a application/game engine with software renderer,PainterEngine can be transplanted to any platform that supports C☆3,228Oct 2, 2025Updated 5 months ago
- Convert CAJ (China Academic Journals) files to PDF. 转换中国知网 CAJ 格式文献为 PDF。佛系转换，成功与否，皆是玄学。☆3,178Mar 20, 2024Updated last year
- Simple BGP route propagation debugger.☆11Mar 7, 2021Updated 4 years ago
- Triple, quadruple, and n-fold paths and arrows with TikZ☆17Dec 26, 2023Updated 2 years ago
- A C++ Front-end based on LLVM's clang.☆20Feb 16, 2025Updated last year
- ☆16Jun 22, 2025Updated 8 months ago
- Our attempt at improving current outpainting methods using a local & global discriminator and applying residual blocks☆15Sep 11, 2020Updated 5 years ago
- 史济怀复变函数LaTeX重排☆170Apr 1, 2025Updated 11 months ago
- Create beautiful diagrams just by typing notation in plain text.☆7,913Feb 13, 2026Updated 2 weeks ago
- 既适合程序员，也适合中文电子文字整编人员(in beta)。汉字繁、简、异、兼、笔、变等关联关系可视化。非寻常汉字字符、同形字符攻击、不可打印字符等检视工具。结合OpenCC、Unicode等数据 | Chinese characters relations or vati…☆324Aug 2, 2024Updated last year