This is an open source project to share ideas for solving the geometry games Euclidea.
☆305May 13, 2023Updated 3 years ago
Alternatives and similar repositories for Euclidea
Users that are interested in Euclidea are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 64-bit x86 CPU emulation and sandboxing.☆13Dec 6, 2020Updated 5 years ago
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067☆111Sep 2, 2023Updated 3 years ago
- 大佬语录s☆14Oct 26, 2023Updated 2 years ago
- Bangumi网页版API封装☆11Jun 20, 2016Updated 10 years ago
- a mpv script, can auto load font in special dir accounding ass file☆11Jul 6, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 化学式自动配平计算器☆11Jul 28, 2022Updated 4 years ago
- TeXmacs文档翻译☆25Jun 22, 2019Updated 7 years ago
- 洛谷超级任务计划，不限任务计划长度（第三方）☆45May 10, 2020Updated 6 years ago
- 简易 OI 交题服务器☆11Dec 12, 2025Updated 9 months ago
- ☆11Sep 28, 2018Updated 7 years ago
- Simplifies the use of SAF and the Document API☆13Dec 29, 2024Updated last year
- A Subnautica mod that adds the massive Seal Submarine.☆12Sep 9, 2026Updated last week
- Website of IceLava☆11Jun 17, 2026Updated 3 months ago
- Collection of builtin GNU TeXmacs plugins☆46Aug 4, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- fabric-carpet的汉化版本☆13Jun 25, 2020Updated 6 years ago
- ☆12Dec 28, 2021Updated 4 years ago
- An imitation of generals.io https://generals.mcfx.us☆15Apr 25, 2021Updated 5 years ago
- GeoGebra Discovery☆32Jul 10, 2026Updated 2 months ago
- ☆13Sep 12, 2018Updated 8 years ago
- Get (most likely) Chinese word under the cursor in Emacs☆35Aug 11, 2017Updated 9 years ago
- A database for OIers☆598Aug 25, 2023Updated 3 years ago
- 用于Rime输入法的郑码方案☆13Jun 15, 2023Updated 3 years ago
- A test sample to create Installation package for RealDWG using Wix toolset☆10Mar 23, 2022Updated 4 years 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.
- 一个用于算法竞赛的在线评测系统。An online judge system for algorithm competition.☆15Jun 24, 2023Updated 3 years ago
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆73Sep 1, 2026Updated 2 weeks ago
- 洛谷「冬日绘版」自动 Paint 姬，目前适配至 2022。☆16Jan 1, 2022Updated 4 years ago
- A blue light filter app using Android Nougat's native night mode functionality☆11Oct 21, 2016Updated 9 years ago
- 打打 bot☆13Sep 14, 2026Updated last week
- 集成基础的 Typst 中文排版支持，提供快速的中文排版体验。☆18Sep 4, 2026Updated 2 weeks ago
- 一款可以优雅的阅读本地小说以及大量网络小说的APP☆13May 10, 2018Updated 8 years ago
- ☆10Oct 30, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- a converter to markdown format for TeXmacs.☆10Apr 8, 2020Updated 6 years ago
- VSCode 摸鱼阅读器☆17Sep 30, 2025Updated 11 months ago
- Memos import/export as JSON☆13Sep 27, 2023Updated 2 years ago
- This project will not update anymore, use https://github.com/7sDream/fontfor instead.☆12Mar 31, 2020Updated 6 years ago
- Paradigms of AI Programming Source Code☆11Jan 2, 2013Updated 13 years ago
- Why not opening in browser, instead of the "customized" browser?☆13Mar 22, 2019Updated 7 years ago
- 主题式Swift开发工具包，包含布局、颜色、字体等。☆15Oct 10, 2022Updated 3 years ago