Create epic math and physics explainer animations with Kimi K3.
☆144Jul 29, 2026Updated 2 months ago
Alternatives and similar repositories for KimiK3Manim
Users that are interested in KimiK3Manim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple, self-hostable budgeting app built with React, TypeScript, and Supabase. Track expenses, share budgets, and manage your money.☆24Oct 1, 2026Updated 3 weeks ago
- Efficient Mask-Aware Distributed Attention for Long-Context Training☆53Oct 16, 2026Updated last week
- A Python library that solves context window degradation in long-running LLM agents by moving memory management out of the model layer and…☆20Updated this week
- ☆17Updated this week
- Dist-MoE implements Speed-of-Light distributed Mixture-of-Experts forward and backward kernels. They are highly optimized and fused comm-…☆17Updated this 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.
- Official repository Flash Local Linear Attention☆40May 28, 2026Updated 4 months ago
- Linear Attention Architectures: Mechanisms, Trade-offs, and Cross-Layer Routing (Technical Report)☆39Jul 10, 2026Updated 3 months ago
- SSH auth via browser passkeys (Touch ID / Face ID). No passwords, no SSH keys — just biometrics.☆28Mar 22, 2026Updated 7 months ago
- ☆46Aug 3, 2026Updated 2 months ago
- Food tour planner using LangChain DeepAgents, Google Maps API, and Tavily research. Explore multi-agent coordination patterns: task dele…☆97Nov 6, 2025Updated 11 months ago
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 2 weeks ago
- Curated high-performance TIRx GPU kernels☆32Oct 17, 2026Updated last week
- An open, visual atlas of looped transformers, recurrent computation, adaptive depth, and latent reasoning.☆33Sep 26, 2026Updated 3 weeks ago
- Open-source observability database for Metrics, Logs and Traces. Alternative of Elastic Search, Loki, Tempo and Datadog.☆50Nov 14, 2025Updated 11 months ago
- 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.
- A self-hosted Discord-style Matrix client with voice channels.☆33Mar 24, 2026Updated 6 months ago
- Free, open-source, local-first project memory for your AI apps (MCP server for Claude, ChatGPT, Cursor, Grok and any MCP client). Your da…☆19Updated this week
- ☆38Aug 4, 2026Updated 2 months ago
- Code for the paper "Stack Attention: Improving the Ability of Transformers to Model Hierarchical Patterns"☆19Mar 15, 2024Updated 2 years ago
- Self-hosted 3D point cloud & panorama viewer for industrial environments - free desktop app, Docker/on-premise server, or use in your bro…☆21Jul 13, 2026Updated 3 months ago
- In this repository, the LANA Project has published its July 2026 report “Project LANA Interim Report on IUT Theory.”☆19Jul 20, 2026Updated 3 months ago
- BUPT Hotel management system, scheduling with RR algorithm on wind speed, support Python backends, Software Engineering 2023.☆24Mar 23, 2025Updated last year
- Interactive notebook introducing the matrix exponential and matrix Lie groups, from the Quantum Formalism lecture series.☆12Apr 17, 2025Updated last year
- Muon in Int8 Precision Made Possible☆20Jun 18, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion …☆77Sep 9, 2026Updated last month
- Desktop provider switcher for Claude Code and Codex. Keep every endpoint, API key, and model in one place, switch the active provider in …☆17Oct 12, 2026Updated last week
- Repository for the paper: "TiC-LM: A Web-Scale Benchmark for Time-Continual LLM Pretraining" ACL Oral 2025☆25Sep 11, 2026Updated last month
- It's like linktree but stored in the URL☆29Sep 26, 2026Updated 3 weeks ago
- Fast and memory-efficient exact attention☆22Sep 10, 2026Updated last month
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 6 years ago
- This is the official code release for the report: VLAFlow: A Unified Training Framework for Vision-Language-Action Models via Co-training…☆17Sep 24, 2026Updated 3 weeks ago
- Local Codex log swear/frustration timeline audit☆34May 5, 2026Updated 5 months ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆17Apr 16, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- TensorIR is a lightweight NVIDIA-owned MLIR compiler frontend for expressing tensor computations and lowering them to NVIDIA CUDA Tile IR…☆138Oct 15, 2026Updated last week
- A rust based risc-v operating system!☆11Feb 12, 2026Updated 8 months ago
- Official repository for Parallax (Parameterized Local Linear Attention)☆70Jul 30, 2026Updated 2 months ago
- DeepStack: Facilitating Co-Design Exploration of 3D DRAM-Stacked Accelerators for Distributed LLM Inference. Includes the MICRO 2026 AE a…☆65Oct 5, 2026Updated 2 weeks ago
- Python-based library implementing a Hierarchical Deterministic (HD) Wallet generator for 200+ cryptocurrencies.☆47Dec 1, 2025Updated 10 months ago
- ☆32Jul 2, 2025Updated last year
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 4 months ago