Create epic math and physics explainer animations with Kimi K3.
☆143Jul 29, 2026Updated last month
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 Python library that solves context window degradation in long-running LLM agents by moving memory management out of the model layer and…☆20Jul 23, 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 10 months ago
- A collection of custom Super-Resolution models and restoration experiments.☆24Sep 13, 2026Updated 2 weeks ago
- Cursor for Data — a local-first AI workspace that understands your datasets: discovers relationships, builds semantic models, and answers…☆27Jul 25, 2026Updated 2 months ago
- A self-hosted Discord-style Matrix client with voice channels.☆33Mar 24, 2026Updated 6 months ago
- 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.
- Development memory that flows between sessions. An MCP server that gives Claude persistent memory about your projects.☆19May 2, 2026Updated 4 months ago
- Interactive notebook introducing the matrix exponential and matrix Lie groups, from the Quantum Formalism lecture series.☆12Apr 17, 2025Updated last year
- ☆39Jul 12, 2026Updated 2 months ago
- Repository for the paper: "TiC-LM: A Web-Scale Benchmark for Time-Continual LLM Pretraining" ACL Oral 2025☆24Sep 11, 2026Updated 2 weeks ago
- Code for the paper "Stack Attention: Improving the Ability of Transformers to Model Hierarchical Patterns"☆19Mar 15, 2024Updated 2 years ago
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated 2 months ago
- Open-source test harness for AI agents. Stress-test production agents with adversarial multi-turn scenarios in CI☆29Aug 14, 2026Updated last month
- A fast and convenient TUI file browser for remote servers☆231Jul 25, 2026Updated 2 months ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆16Apr 16, 2026Updated 5 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An open-source job-data + geospatial visualization platform for tech roles.☆25Jun 22, 2026Updated 3 months ago
- [Tech Report] Expanded Hyper-Connections☆67Jul 21, 2026Updated 2 months ago
- enriched WGSL with support for import/export and more☆46Sep 10, 2026Updated 2 weeks ago
- CLI tool – estimates LLM tokens/costs and runs provider-aware load tests for OpenAI, Anthropic, OpenRouter, or custom endpoints.☆144Jul 14, 2026Updated 2 months ago
- 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
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆26Apr 1, 2026Updated 5 months ago
- Takes screenshots of selected specific locations and converts image data to text with tesseract-ocr, translates converted text data into …☆16Jul 17, 2022Updated 4 years ago
- ☆28Jun 1, 2026Updated 3 months ago
- Browser-based, hardware-accelerated video upload optimization☆65Aug 8, 2026Updated last month
- 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 Repo for Error-Free Linear Attention is a Free Lunch: Exact Solution from Continuous-Time Dynamics☆77Updated this week
- A collection of skills for agentic video generation for structured visuals based on MotionCanvas.☆68Aug 11, 2026Updated last month
- ☆12Feb 25, 2025Updated last year
- Professional Markdown editor with Mermaid diagrams & KaTeX formulas. Zero-config, pure static, export to PDF/HTML. Perfect for technical …☆37Jan 14, 2026Updated 8 months ago
- Fast, zero-config ETL in a single binary☆306Jan 5, 2026Updated 8 months ago
- Official data release for FaceMap, to present in Siggraph Asia 2024☆13Updated this week
- This repository contains a boilerplate for creating a custom GPT actions API using FastAPI.☆12Jan 13, 2024Updated 2 years ago
- Zero-config semantic search for any PostgreSQL database. pip install pgsemantic, three commands, done☆51Mar 31, 2026Updated 5 months ago
- A repository of pricing pages - Inspired by RGE☆12Feb 26, 2022Updated 4 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.
- Simple Java Rest client for Jasperserver 4.5 and Above☆12Oct 4, 2016Updated 9 years ago
- This repo maintains a 'cheat sheet' for LLMs that are undertrained on mlx☆33Mar 12, 2026Updated 6 months ago
- Agent Skills Evaluation Framework☆56Apr 21, 2026Updated 5 months ago
- Bayesian CausalImpact for Python — R-compatible Gibbs sampler in Rust (PyO3), 30x faster, no TensorFlow☆20Mar 26, 2026Updated 6 months ago
- Cloudify's Agent module☆11Jun 10, 2025Updated last year
- fast, rust based epub library for python☆65Jun 12, 2026Updated 3 months ago
- The largest NFT marketplace☆10May 12, 2022Updated 4 years ago