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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆58Aug 13, 2018Updated 7 years ago
- ☆15Jul 22, 2024Updated last year
- A formalization of geometry in Coq based on Tarski's axiom system☆206Nov 17, 2025Updated 4 months ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- ☆110Sep 29, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Captcha based on SVG.☆14Feb 11, 2026Updated 2 months ago
- ☆10Apr 21, 2021Updated 4 years ago
- An online manim.☆26May 26, 2020Updated 5 years ago
- ☆70Dec 27, 2023Updated 2 years ago
- ☆15Mar 31, 2025Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Our world is but a small part of the cosmos.☆25Jan 21, 2020Updated 6 years ago
- The BHCexam document class attempts to make it easy for even a LaTeX novice to prepare exams.☆97May 29, 2025Updated 10 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- some documents for Mathcrowd Community☆33May 8, 2020Updated 5 years ago
- tkz-euclide欧氏几何宏包使用手册中文翻译，欢迎大家批评指正。☆45Jan 5, 2021Updated 5 years ago
- Create beautiful diagrams just by typing notation in plain text.☆7,933Apr 2, 2026Updated last week
- Convert CAJ (China Academic Journals) files to PDF. 转换中国知网 CAJ 格式文献为 PDF。佛系转换，成功与否，皆是玄学。☆3,198Mar 20, 2024Updated 2 years ago
- ☆99Dec 27, 2023Updated 2 years ago
- ☆12May 19, 2025Updated 10 months ago
- 题库爬虫☆10Mar 6, 2023Updated 3 years ago
- MatrixD implements matrix differentiation☆20Apr 5, 2017Updated 9 years ago
- Rubi for Mathematica☆260Feb 22, 2024Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆19Jul 22, 2024Updated last year
- Open ClawCode☆17Apr 2, 2026Updated last week
- manim-kindergarten's communal repository☆509Aug 2, 2022Updated 3 years ago
- Synthesize vocal by sinewave.☆13Jun 20, 2025Updated 9 months ago
- Parser Generator for LR(1) and LALR☆85Feb 13, 2024Updated 2 years ago
- DASP the Durham Adaptive optics Simulation Platform: Modelling and simulation of adaptive optics systems☆21Sep 7, 2021Updated 4 years ago
- 将专业术语和名人名言以随机报菜名的方式填入模板，生成一篇只有聪明人才能看懂的满分作文！☆1,039Sep 11, 2022Updated 3 years ago
- CTF - Jarvis OJ 我的题解☆36Aug 11, 2019Updated 6 years ago
- 史济怀复变函数LaTeX重排☆173Apr 1, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Simple BGP route propagation debugger.☆11Mar 7, 2021Updated 5 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31May 29, 2021Updated 4 years ago
- History of type theory (Chinese).☆360May 25, 2025Updated 10 months ago
- 王力《古代汉语》读书笔记☆21Feb 27, 2024Updated 2 years ago
- PainterEngine is a application/game engine with software renderer,PainterEngine can be transplanted to any platform that supports C☆3,251Feb 27, 2026Updated last month
- Triple, quadruple, and n-fold paths and arrows with TikZ☆17Dec 26, 2023Updated 2 years ago
- 听说有人用Python壳子的语言骗经费? 过来挨打?☆49Jan 27, 2020Updated 6 years ago