Formal Euclidean Geometry Course, Rutgers Math Corps
☆98Jul 28, 2025Updated 7 months ago
Alternatives and similar repositories for 2025EuclideanGeometryCourse
Users that are interested in 2025EuclideanGeometryCourse are comparing it to the libraries listed below
Sorting:
- Lean for Scientists and Engineers, course taught in Summer 2024☆25Jan 6, 2025Updated last year
- Lennard Jones in Lean☆21Jul 14, 2025Updated 7 months ago
- Modern open-source web GUI for Asterisk PBX – extensions, SIP trunks, CDR, voicemail & real-time dashboard. Docker deployment in minutes.☆30Feb 18, 2026Updated 2 weeks ago
- ☆14Nov 8, 2024Updated last year
- ☆13Mar 1, 2023Updated 3 years ago
- 利用企业微信群机器人发消息提醒☆14Sep 19, 2025Updated 5 months ago
- 基于新酷卡平台开发的猫池短信平台☆10Oct 25, 2025Updated 4 months ago
- A more commamd-line friendly style of using Lua☆34Feb 2, 2022Updated 4 years ago
- Chess AI and commentary powered by ChatGPT☆11Apr 26, 2023Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Source codes for paper "Harnessing Machine Learning to Enhance Transition State Search with Interatomic Potentials and Generative Models"☆18Oct 23, 2025Updated 4 months ago
- Addon for Blender to import and work with molecules and other atomic structures☆10Jun 27, 2019Updated 6 years ago
- ☆10Jan 16, 2025Updated last year
- 一款 AI 辅助阅读器，三栏设计实现笔记、阅读、对话同屏交互，让深度阅读更高效☆18Feb 5, 2026Updated 3 weeks ago
- Datalore is an AI-powered Data Analysis tool that integrates Anthropic's Claude API with various data analysis libraries and custom funct…☆42Feb 24, 2025Updated last year
- Remastered version for Auto7z☆15Feb 16, 2026Updated 2 weeks ago
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year
- PHP class utilizing Direct IO to interact with a RS232 serial port☆12Mar 14, 2013Updated 12 years ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- 使用cocoscreator(1.7版本)实现刮刮卡功能，在webgl和native平台有效，原始代码来源：@xiayangqun http://forum.cocos.com/t/ccc/51528☆13Jan 5, 2018Updated 8 years ago
- 百万连接测试☆10May 26, 2014Updated 11 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- ☆13Nov 25, 2012Updated 13 years ago
- A linter for Soufflé Datalog☆17Apr 1, 2024Updated last year
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- Cone program refinement☆10Mar 6, 2020Updated 5 years ago
- The MCP server for Powerdrill API.☆12Nov 18, 2025Updated 3 months ago
- Confd+Etcd+Nginx动态反向代理,WEB可视化配置,绕过备案,集成内网穿透模块,docker一键化部署。☆10Dec 10, 2022Updated 3 years ago
- 一个Minecraft启动器☆28Jan 15, 2026Updated last month
- Yii2 Swoole extension, provides coroutine http server and more coroutine features.☆23Dec 17, 2025Updated 2 months ago
- 基于ethers.io API实现的以太坊钱包☆10Sep 7, 2018Updated 7 years ago
- The Hugr service☆27Feb 12, 2026Updated 3 weeks ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- The search language for your filesystem☆38Jan 30, 2026Updated last month
- ☆12Mar 4, 2025Updated last year