A Lean 4 framework for automated research in mathematical optimization, with formally verified convergence guarantees and oracle complexity bounds.
☆26Nov 1, 2026Updated this week
Alternatives and similar repositories for longtails
Users that are interested in longtails are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ReMind — для всех. Даже для тех, кто ещё не понял зачем.☆16Oct 16, 2026Updated 2 weeks ago
- Using PyTorch autograd to compute Hessian of Perplexity for Large Language Models☆30Apr 17, 2025Updated last year
- Faster and Lighter LoRA Implementations☆13Nov 21, 2024Updated last year
- Hands-on course for building autonomous AI agents in Go: LLM fundamentals, tool/function calling, RAG, evals, multi-agent, safety, and ob…☆17Oct 16, 2026Updated 2 weeks ago
- Mutual information estimators and benchmarks☆14Oct 6, 2026Updated 3 weeks 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.
- ☆12May 28, 2025Updated last year
- ☆11Dec 6, 2020Updated 5 years ago
- ☆10Aug 5, 2020Updated 6 years ago
- Cramming 1568 Tokens into a Single Vector and Back Again: Exploring the Limits of Embedding Space Capacity (ACL 2025, oral)☆35Jun 14, 2025Updated last year
- Evolutionary generation of efficient GPU kernels☆35Oct 9, 2026Updated 3 weeks ago
- Publicly released data: sense anaphora annotations.☆10Mar 31, 2016Updated 10 years ago
- ☆14Oct 15, 2026Updated 2 weeks ago
- CADFather: Autonomous CAD Reconstruction through Coordinated Tool Use☆26Oct 8, 2026Updated 3 weeks ago
- ITMO AI Talent Hub Speech Recognition and Generation course☆20Apr 16, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ResearchOS is an open-source platform for organizing AI-assisted research.☆19Updated this week
- Minimalistic port of NanoGUI claim works with SDL API w/o external dependencies.☆12Sep 4, 2019Updated 7 years ago
- A library for solving an elliptic differential equation in 2D using Quantized Tensor Train (QTT) decomposition.☆10May 12, 2018Updated 8 years ago
- LaTeX Template for the Dialogue Conference.☆11Dec 27, 2022Updated 3 years ago
- ☆14Jan 29, 2023Updated 3 years ago
- Source for the TabCount Chrome extension.☆18Oct 25, 2026Updated last week
- ☆16Oct 14, 2020Updated 6 years ago
- An opinionated agentic development layer for OpenCode — spec-first when it matters, review-driven execution, portable model roles, safer …☆16Updated this week
- Models and code for the ICLR 2020 workshop paper "Towards Understanding Normalization in Neural ODEs"☆16Apr 27, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Code needed to reproduce results from my ICLR 2019 paper on fixed-point quantization of the backprop algorithm.☆10Jan 24, 2019Updated 7 years ago
- Compression schema for gradients of activations in backward pass☆45Jul 26, 2023Updated 3 years ago
- Application of REINFORCE algorithm to downlink NOMA system☆13Jan 28, 2026Updated 9 months ago
- Solver in the low-rank tensor train format with cross approximation approach for the multidimensional Fokker-Planck equation☆14Oct 24, 2023Updated 3 years ago
- "It's All in the Heads" (Findings of ACL 2021), official implementation and data☆10Jun 24, 2021Updated 5 years ago
- Скилл для агентов: ежедневная газетная страница-дайджест на любую тему с публикацией по ссылке☆12Oct 16, 2026Updated 2 weeks ago
- Kaiki Chat: decentralized encrypted messaging for AI agents and people. Desktop app, CLI, nodes and servers.☆13Oct 6, 2026Updated 3 weeks ago
- LLM-powered Text-to-SQL evaluation toolkit: schema ingestion, retrieval eval, and standalone SQL judge/re-scorer.☆16Updated this week
- Global Weather Forecasting from Mid-Range to Subseasonal Scale☆21Mar 26, 2026Updated 7 months ago
- 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.
- ☆19Apr 21, 2026Updated 6 months ago
- Boglodite is an agent for subsurface☆15Oct 8, 2026Updated 3 weeks ago
- Quadrature-based features for kernel approximation☆16Oct 30, 2018Updated 8 years ago
- [ICML 2021] "Double-Win Quant: Aggressively Winning Robustness of Quantized DeepNeural Networks via Random Precision Training and Inferen…☆16Feb 13, 2022Updated 4 years ago
- AFP is a hardware-friendly quantization framework for DNNs, which is contributed by Fangxin Liu and Wenbo Zhao.☆13Nov 8, 2021Updated 4 years ago
- 《深入理解 AI Agent：设计原理与工程实践》（李博杰 著）开源主仓库：全书正文、编译版 PDF 与按章配套代码☆16Sep 30, 2026Updated last month
- [ICML2024 Spotlight] Fine-Tuning Pre-trained Large Language Models Sparsely☆24Jun 26, 2024Updated 2 years ago