Formal Euclidean Geometry Course, Rutgers Math Corps
☆103Jul 28, 2025Updated 10 months ago
Alternatives and similar repositories for 2025EuclideanGeometryCourse
Users that are interested in 2025EuclideanGeometryCourse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lennard Jones in Lean☆23Jul 14, 2025Updated 11 months ago
- Lean for Scientists and Engineers, course taught in Summer 2024☆34Jan 6, 2025Updated last year
- spy tool for pywinauto☆11Jan 11, 2024Updated 2 years ago
- A command line tool that displays information about the current system, including hardware and critical software.☆30Apr 28, 2026Updated last month
- docker compose outline☆11Apr 22, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 密码学补完计划：一个长得像文件资源管理器的密码学学习网页。☆34May 21, 2026Updated 3 weeks ago
- ☆13Sep 5, 2025Updated 9 months ago
- An ASE-friendly implementation of the amorphous-to-crystalline (a2c) workflow.☆18Oct 19, 2025Updated 7 months ago
- 小红书网页版助手，一款支持固定在电脑桌面上进行小窗模式浏览阅读、多账户同时登录提升用户活跃度、图片 笔记 视频批量自动化下载等功能的软件助手，让用户在小红书笔记阅读上，获得更开阔的视觉体验和交互享受。☆10Jul 22, 2024Updated last year
- ☆19Jan 24, 2025Updated last year
- Uncertainty quantification (UQ) for Machine-Learning Interatomic Potentials (MLIPs)☆28Jun 9, 2026Updated last week
- Confd+Etcd+Nginx动态反向代理,WEB可视化配置,绕过备案,集成内网穿透模块,docker一键化部署。☆10Dec 10, 2022Updated 3 years ago
- ☆14Mar 4, 2026Updated 3 months ago
- Raycast extension for managing short links via Sink - the Cloudflare-powered link shortener. Create, edit, and manage short URLs efficien…☆25Nov 24, 2024Updated last year
- 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.
- Demos for the 2022 Many Electron Collaboration Workshop on PySCF☆12Jun 21, 2022Updated 3 years ago
- Java Geometry Expert☆50Feb 1, 2026Updated 4 months ago
- 小红书原图提取工具☆13Dec 19, 2022Updated 3 years ago
- A Clawdbot skill that generates a podcast-style MP3 from one or more URLs using the open-source Podcastfy project.☆16Jan 31, 2026Updated 4 months ago
- ☆27Jan 19, 2026Updated 5 months ago
- 流星日记☆19May 5, 2026Updated last month
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 3 years ago
- dftio is to assist machine learning communities to transcript DFT output into a format that is easy to read or used by machine learning m…☆16Dec 18, 2025Updated 6 months ago
- ☆18Feb 3, 2025Updated last year
- 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.
- docker一键安装脚本（全平台，懒人必备）☆20Aug 17, 2020Updated 5 years ago
- 基于 opencli 的可视化内容采集/AI打标/推送系统。可用于舆情监测。支持多开chrome 多账号采集，支持小红书 、微博、B 站等采集。支持 AI agent 处理（开发中）。支持一键 docker 部署，推送通知，分布式任务☆110Apr 18, 2026Updated 2 months ago
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- Telegram bot for uploading files directly to your Immich instance☆31Jan 28, 2026Updated 4 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- 解决国内安装CasaOS因网络原因导致安装失败☆12Oct 14, 2022Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Mar 30, 2026Updated 2 months ago
- EquiformerV3: Scaling Efficient, Expressive, and General SE(3)-Equivariant Graph Attention Transformers☆103Apr 17, 2026Updated 2 months ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- X3D for Atomic Simulation Environment☆15Nov 8, 2020Updated 5 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Dec 7, 2019Updated 6 years ago
- a big integer / number library☆17Jan 28, 2026Updated 4 months ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated 2 years ago
- 记录个人知识技术体系的建立过程并探索其方法论☆19Aug 1, 2024Updated last year