This repo is about the proof of the Nash Equilibrium through Scarf and Brouwer by Mathlib.
☆33Aug 14, 2026Updated last week
Alternatives and similar repositories for Brouwer
Users that are interested in Brouwer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ACL 2025 Findings] The official GitHub repo for the paper "Nuclear Deployed: Analyzing Catastrophic Risks in Decision-making of Autonomo…☆21May 20, 2025Updated last year
- [ICLR2026] AutoDrive-R2: Incentivizing Reasoning and Self-Reflection Capacity for VLA Model in Autonomous Driving☆219May 20, 2026Updated 3 months ago
- Implementation of the papar "Sparse-to-Local-Dense Matching for Geometry-Guided Correspondence Estimation"☆130Nov 19, 2025Updated 9 months ago
- A simple and graceful HTTP request tool!☆82Jun 21, 2025Updated last year
- IM Chat, High-performance, scalable, self-hosted instant messaging server in Go — private chat, groups, chatrooms, WebSocket and REST API…☆3,540Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The code for Refining Sentence Embedding Model through Ranking Sentences Generation with Large Language Models (Finding of ACL2025)☆83Jul 14, 2025Updated last year
- 🦞 Production-grade AI Agent design system — 龙虾教练：产品级 AI Agent 设计体系☆86Apr 1, 2026Updated 4 months ago
- FUEL UAV exploration in PX4 + Gazebo☆98Jun 8, 2026Updated 2 months ago
- This is the project for the paper of "Low-Light Video Enhancement via Spatial-Temporal Consistent Decomposition" in IJCAI2025☆92Jul 29, 2025Updated last year
- [CVPR 2026] PromptEnhancer is a prompt-rewriting tool, refining prompts into clearer, structured versions for better image generation.☆3,757Aug 18, 2026Updated last week
- DeepWism R2 is a next-generation AGI system built on the T3CEDS framework (Thin-Thick-Thin Crowd Entropy Dynamics System), which redefine…☆1,017Jun 27, 2025Updated last year
- Production-grade e-commerce platform for automotive accessories(or any), built with Next.js, PostgreSQL, Redis, and Stripe.☆41Dec 26, 2025Updated 8 months ago
- automatic time series forecasting package capable of per-series model selection, backtesting, hierarchical reconcilliation, and driver an…☆87May 17, 2026Updated 3 months ago
- An agent capable of self-evolving and dynamically hardening security☆2,548Jul 27, 2026Updated 3 weeks 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.
- SDG is a specialized framework designed to generate high-quality structured tabular data.☆2,434Aug 17, 2026Updated last week
- Context drive for your AI agents☆1,299Aug 2, 2026Updated 3 weeks ago
- AI Group is a powerful mobile intelligent assistant application that integrates multiple large language models (LLMs) and AI services, pr…☆1,101Sep 10, 2025Updated 11 months ago
- TVM Documentation in Chinese Simplified / TVM 中文文档☆3,915May 20, 2026Updated 3 months ago
- Towards Self-Evolving Proactive AI with Perpetual Memory☆210Apr 17, 2026Updated 4 months ago
- LucidFlux: Caption-Free Photo-Realistic Image Restoration via a Large-Scale Diffusion Transformer, ICLR 2026☆1,293May 26, 2026Updated 3 months ago
- Welcome to BlockSeek's official documentation. BlockSeek combines state-of-the-art AI with blockchain technology to revolutionize cryptoc…☆311Feb 7, 2025Updated last year
- Build your own AI agent through gameplay.☆769Jun 30, 2026Updated last month
- DDN-SLAM: Real-time Dense Dynamic Neural Implicit SLAM (RA-L 2025)☆203Dec 10, 2025Updated 8 months ago
- 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.
- efflux-desktop-ui☆315Jul 17, 2025Updated last year
- The next generation deep reinforcement learning tookit☆3,466Jun 16, 2023Updated 3 years ago
- ☆1,842Feb 14, 2026Updated 6 months ago
- Federation over Text (FoT) is a federated-learning-like paradigm for multi-agent reasoning.☆111Aug 1, 2026Updated 3 weeks ago
- ☆844Feb 18, 2026Updated 6 months ago
- AIPPT Online editor，Base On ChatPPT， supports document editing services throughout the entire process, including import, export, layout b…☆1,095Sep 17, 2025Updated 11 months ago
- JetYOLO：Speed through your TensorRT/Deepstream app development.☆118Apr 16, 2024Updated 2 years ago
- [WACV 2026] Hestia-NBV☆190Mar 1, 2026Updated 5 months ago
- Align Anything: Training All-modality Model with Feedback☆4,667Nov 27, 2025Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 将微信和QQ的聊天数据转化成可视化的3D关系网☆883Aug 5, 2026Updated 3 weeks ago
- LimiX: Unleashing Structured-Data Modeling Capability for Generalist Intelligence https://arxiv.org/abs/2509.03505☆4,037Jun 16, 2026Updated 2 months ago
- ☆12Oct 30, 2021Updated 4 years ago
- ☆52Mar 10, 2025Updated last year
- 🔥minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,矿池抽水,矿池中转,矿场运维专用☆3,709Jul 15, 2026Updated last month
- We introduce the Audio Logical Reasoning (ALR) dataset, consisting of 6,446 text-audio annotated samples specifically designed for comple…☆1,113Nov 26, 2025Updated 8 months ago
- ☆62May 1, 2026Updated 3 months ago