Research draft of a candidate proof of Crouzeix's conjecture
☆535Aug 16, 2026Updated 2 months ago
Alternatives and similar repositories for CrouzeixConjecture
Users that are interested in CrouzeixConjecture are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆302Oct 6, 2026Updated last week
- Lean certificates accompanying ten proofs in mathematics and theoretical computer science☆214Aug 5, 2026Updated 2 months ago
- Use the standalone qiaomu-bento-ppt skill to create or edit qiaomu-style bento presentations as self-contained .bento.html files from bri…☆128Jul 27, 2026Updated 2 months ago
- ☆31Apr 3, 2026Updated 6 months ago
- A Lean formalization of a bound concerning long gaps between primes☆44Sep 3, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆28Oct 7, 2026Updated last week
- ☆92Updated this week
- 面向 Cursor / Codex / Claude 等 Coding Agent 的通用工作区模板，提供多仓项目注册、知识库索引、规则治理与技能体系，帮助团队把 AI 协作流程沉淀为可复用工程实践。☆27Updated this week
- OpenAI-compatible async gateway for muse.ai with pluggable drivers (mock / browser-CDP / http)☆142Oct 5, 2026Updated last week
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10May 25, 2023Updated 3 years ago
- Awesome UI for Claude Code ✨ https://baocode.dev☆291Updated this week
- Run shell commands becomes easy in Julia!☆12Jul 21, 2020Updated 6 years ago
- ☆268Sep 8, 2026Updated last month
- Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory☆481Aug 27, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Goofy physics notation☆11Apr 7, 2020Updated 6 years ago
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆41Sep 7, 2026Updated last month
- Windows 本地多模态 AI 桌面桌宠，支持屏幕与音频感知。☆515Jul 24, 2026Updated 2 months ago
- A package for creating a matrix product state (MPS) from a free fermion (Gaussian) state.☆10Dec 6, 2021Updated 4 years ago
- Experimental deterministic rendering toolkit for HyperFrames video delivery☆74Aug 20, 2026Updated last month
- Safe automatic permissions for DeepSeek Harness.☆164Sep 29, 2026Updated 2 weeks ago
- Quantum Operators from SYmmetry☆10Jul 5, 2020Updated 6 years ago
- A high-performance communication library for machine learning training and inference on Huawei Ascend NPUs.☆260Sep 30, 2026Updated 2 weeks ago
- 精酿 BrewReel：让 DeepSeek 这类便宜模型也能做出好看的竖版宣传片。写一份产品简报，AI 挑镜头、写文案，一条命令出片。3 种配方、6 个行业、广告法校验，开源可商用。☆170Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Real-event-anchored benchmark for detecting AI-generated videos in real-world crisis settings.☆137Aug 17, 2026Updated 2 months ago
- An embodied task agent that connects perception, action, verification, and learning in a continuous physical-world loop☆203Updated this week
- Please use the new repo:☆10Aug 8, 2019Updated 7 years ago
- 非官方 Kimi Slides Skill：让 AI Agent 生成可编辑 PPTD + PPTX，并附带本地浏览器编辑器 Unofficial Kimi Slides skill for AI agents — generate editable PPTD + PPTX…☆92Aug 7, 2026Updated 2 months ago
- Open-source skills and toolkits that let Claude Code, Codex and other coding agents make video. 180 repos by type, each security-graded. …☆688Updated this week
- ☆20Jun 8, 2026Updated 4 months ago
- Different neural operators for various numerical experiments☆24May 4, 2025Updated last year
- My Good AI SKILLS☆120Updated this week
- Official implementation for "NADER: Neural Architecture Design via Multi-Agent Collaboration" (CVPR2025)☆15Aug 12, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Spectrum Bifurcation RG☆12Apr 18, 2016Updated 10 years ago
- CC-Box — A multi-terminal manager for Claude Code power users☆21Sep 29, 2026Updated 2 weeks ago
- Access BLIS from Julia, with the ability to replace the built-in BLAS☆19May 1, 2026Updated 5 months ago
- ☆10Dec 26, 2019Updated 6 years ago
- 丁立中的大模型算法工程作品集。聚焦 LLM / VLM 全链路的复现与优化，涵盖：① 预训练与微调（Pretrain / SFT / MoE / 多模态对齐）；② 强化学习对齐（PPO / GRPO / DAPO，含多奖励函数与 GAE）；③ 知识蒸馏（离线 KL 蒸馏、在…☆18May 26, 2026Updated 4 months ago
- ☆91Sep 25, 2026Updated 3 weeks ago
- RiskMiner is a Python implementation of a novel alpha discovery framework that utilizes Monte Carlo Tree Search (MCTS) with risk-seeking …☆14Nov 19, 2025Updated 10 months ago