The website page for introducing VeryMath
☆33Nov 3, 2026Updated this week
Alternatives and similar repositories for verymath.github.io
Users that are interested in verymath.github.io are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Unofficial pytorch implementation of IPOT for improved Seq2Seq Learning☆14Dec 4, 2021Updated 4 years ago
- Matrix Iteratively Reweighted Least Squares for low-rank matrix completion and estimation☆12Dec 30, 2020Updated 5 years ago
- ☆22Mar 11, 2026Updated 7 months ago
- A simulation platform for various educational researches.☆23Apr 8, 2026Updated 6 months ago
- HiCAT new project☆11Nov 23, 2023Updated 2 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.
- ☆16Jan 18, 2022Updated 4 years ago
- Use python to do Sudoku (simple version)☆10Nov 22, 2019Updated 6 years ago
- Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"☆11Aug 11, 2025Updated last year
- The repository provides code for running inference with the Meta Segment Anything Model 2 (SAM 2) to segment 3D medical images, links for…☆39Aug 6, 2024Updated 2 years ago
- Visual Markdown editor for VS Code/Cursor, macOS and Windows — project docs workspace with AI refinement☆15Oct 26, 2026Updated last week
- RegCloser is a genome gap-closing tool based on the robust regression approach, which is conceptually applicable to de novo assembly of N…☆16Apr 22, 2024Updated 2 years ago
- my own paper for history of math and corresponding agentic workflow☆19Apr 12, 2026Updated 6 months ago
- Browser-based keycap editor. Pick a layout, paint colors and legends, then export PNG, SVG, JSON, or production jig files — no sign-up, n…☆20Sep 30, 2026Updated last month
- ☆22Oct 21, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ToolSide-浏览器超级工具☆15Oct 15, 2026Updated 2 weeks ago
- Implementation of Inexact Proximal point method for Optimal Transport☆51May 30, 2021Updated 5 years ago
- [ACL 2026 Findings] Diversity Collapse in Multi-Agent LLM Systems: Structural Coupling and Collective Failure in Open-Ended Idea Generati…☆15Apr 23, 2026Updated 6 months ago
- RPC protocol based on kafka. Horizontally scalable, fault-tolerant, wicked fast, just like kafka.☆19Feb 6, 2024Updated 2 years ago
- 简洁的 Win11 键盘状态提示 / A Simple Win11 Keyboard Overlay☆21Updated this week
- 本地优先的全平台 Markdown 阅读器与编辑器：长文档语义分页、显示层非破坏纠错、Office/PDF/网页转 MD、离线 OCR、LaTeX 学术增强与 MCP 接入。官网地址：https://readmd.asia ； 爱发电：https://ifdia…☆26Oct 8, 2026Updated 3 weeks ago
- ☆12May 14, 2023Updated 3 years ago
- 面向 Windows 10/11 的中文应用启动器：快捷键呼出，搜索应用与系统工具，支持拼音与缩写、列表/网格、深浅主题和本地配置。基于 Go、Wails 与 Vue 3。A local app launcher for Windows.☆24Updated this week
- One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).☆34Oct 25, 2026Updated last week
- 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.
- Mozi Lean Copilot VS Code Extension☆11Jan 7, 2026Updated 9 months ago
- ☆14Aug 25, 2026Updated 2 months ago
- 音频内容安全审核系统☆13Jul 29, 2022Updated 4 years ago
- Codes for short course on computational mathematics and AI☆13Dec 20, 2025Updated 10 months ago
- 一个轻量的提示词管理 和调用工具☆17Updated this week
- Homepage of the Lean-zh website.☆63Aug 13, 2026Updated 2 months ago
- Free, professional-grade desktop publishing without ads or subscriptions! 𝗢𝗽𝗲𝗻 𝗣𝘂𝗯𝗹𝗶𝘀𝗵𝗲𝗿 is a Microsoft Publisher alternativ…☆38Updated this week
- A Julia package for adaptive proximal gradient and primal-dual algorithms☆11Jan 18, 2024Updated 2 years ago
- Two algorithms for orthogonal nonnegative matrix factorization☆10Nov 30, 2014Updated 11 years 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.
- Mirror your translation! A lightweight AI paper translator for Mac and Windows. The original PDF and its translation sit side by side, pa…☆50Updated this week
- ☆18Mar 25, 2026Updated 7 months ago
- A collection of Python code and machine learning exercises☆25Dec 31, 2024Updated last year
- AutoOPT related skills and code☆17Aug 28, 2026Updated 2 months ago
- The Quadratic Primal-Dual Optimizer☆14May 13, 2024Updated 2 years ago
- A lightweight knowledge base for people and agents☆22Oct 28, 2026Updated last week
- ☆17Jan 7, 2022Updated 4 years ago