This is an open source project to share algorithms for solving the geometry games Pythagorea, Pythagorea 60, Euclidea 3 and Xsection
☆21Apr 25, 2023Updated 3 years ago
Alternatives and similar repositories for Geometry-Solving
Users that are interested in Geometry-Solving are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Sep 9, 2026Updated last week
- ☆14Aug 11, 2018Updated 8 years ago
- Geometric, Variable, Open source sans-serif font☆18Apr 2, 2024Updated 2 years ago
- 《现代汉语大词典》字词头☆29Dec 29, 2020Updated 5 years ago
- command line tool to validate .gitlab-ci.yml files☆15Feb 17, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Invoke a Fortran shared library from other languages☆18Oct 3, 2018Updated 7 years ago
- Cookiecutter templates for creating modern Fortran projects that are ready to build, run, test, and install☆18Nov 12, 2024Updated last year
- 基于k6x8衍生的中文像素字体 / A Chinese pixel font derived from k6x8.☆35Sep 6, 2026Updated 2 weeks ago
- Global nonlinear optimization with automatic differentiation☆15Sep 4, 2026Updated 2 weeks ago
- Robust exception like error handling using modern Fortran☆20Oct 17, 2021Updated 4 years ago
- A collection of Fortran modules for scientific programs☆21Dec 18, 2020Updated 5 years ago
- Dynamically Simple Model of Atmospheric Chemical Complexity☆27Mar 18, 2025Updated last year
- PreForM.py, Preprocessor for Fortran poor Men☆23Oct 8, 2020Updated 5 years ago
- Library for solving nonlinear equations and nonlinear least squares problems☆33Jan 28, 2023Updated 3 years ago
- AI Agents on 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.
- Modern Fortran Linked List☆36Apr 19, 2025Updated last year
- Devtoolset container images based on Red Hat Software Collections, that provide a platform for building and running C and C++ application…☆45Mar 4, 2020Updated 6 years ago
- Python interface for the FRUIT Fortran unit testing framework☆44Mar 3, 2020Updated 6 years ago
- Code examples from Rouson, Xia & Xu (Cambridge University Press, 2011)☆45Jan 21, 2021Updated 5 years ago
- A programming font based on Hasklig/Source Code Pro☆58Sep 27, 2017Updated 8 years ago
- Kitware branch of ninja for staging features not yet integrated upstream☆51Aug 24, 2026Updated 3 weeks ago
- A LD_PRELOAD based memory profiler and leak detector for Linux☆89Apr 26, 2026Updated 4 months ago
- the opinionated *best practices* of Fortran FOSS Programmers group☆70Dec 19, 2017Updated 8 years ago
- A free, open source bitmap font "BoutiqueBitmap7x7". 免費、開源的點陣字體《精品點陣體7×7》。 免费、开源的点阵字体《精品点阵体7×7》。☆161Mar 30, 2026Updated 5 months ago
- 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.
- Dump (freeze) SQL query results from a database into a selection of file formats☆92May 8, 2019Updated 7 years ago
- Yet another IDS (Ideographic Description Sequences) lists with MIT license☆174Updated this week
- Git Mirror of John Burkardt's great collection of FORTRAN 90 Software☆92May 10, 2013Updated 13 years ago
- Shroud: generate Fortran and Python wrappers for C and C++ libraries☆97Nov 19, 2025Updated 10 months ago
- Fortran interface to the GNU Scientific Library☆94Jun 8, 2024Updated 2 years ago
- Sensei primary repository.☆214Jan 16, 2026Updated 8 months ago
- PyTorch implementation of "Modeling the Distribution of Normal Data in Pre-Trained Deep Features for Anomaly Detection"☆139Feb 2, 2021Updated 5 years ago
- Terraform modules to replicate the HPC user experience in the cloud☆170Updated this week
- FoBiS.py, Fortran projects Building System☆144Sep 2, 2026Updated 2 weeks ago
- 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.
- POSIXコマンドについてのコラム☆166Aug 15, 2021Updated 5 years ago
- Use Poetry inside Nox sessions☆171Jun 3, 2026Updated 3 months ago
- Implementation of f-AnoGAN with PyTorch☆165Mar 12, 2023Updated 3 years ago
- growi-docker-compose - The fastest way to boot All-in-One GROWI☆220Jul 27, 2026Updated last month
- CEF Fonts CJK / 快去写作业CJK 是一款用鼠标绘制字形的字体。☆514Feb 16, 2026Updated 7 months ago
- A web client for aria2☆287May 9, 2018Updated 8 years ago
- Famous Ninja game for NES☆380Dec 25, 2019Updated 6 years ago