This repo is about the proof of the Nash Equilibrium through Scarf and Brouwer by Mathlib.
☆34Jun 29, 2026Updated 2 weeks ago
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:
- A simple and graceful HTTP request tool!☆82Jun 21, 2025Updated last year
- FUEL UAV exploration in PX4 + Gazebo☆97Jun 8, 2026Updated last month
- [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
- CyberSweep: A Unified Simulation-to-Real Workflow for Interactive Sweeping Robots☆43Mar 27, 2026Updated 3 months ago
- 推理驱动的智能文档知识库RAG系统☆18Jun 17, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Implementation of the papar "Sparse-to-Local-Dense Matching for Geometry-Guided Correspondence Estimation"☆130Nov 19, 2025Updated 7 months ago
- ☆83Jan 24, 2026Updated 5 months ago
- [ICLR2026] AutoDrive-R2: Incentivizing Reasoning and Self-Reflection Capacity for VLA Model in Autonomous Driving☆208May 20, 2026Updated last month
- ☆52Mar 10, 2025Updated last year
- A high-performance IM server.☆3,586Updated this week
- Welcome to BlockSeek's official documentation. BlockSeek combines state-of-the-art AI with blockchain technology to revolutionize cryptoc…☆310Feb 7, 2025Updated last year
- A simple DNN-based encrypted traffic classifier system and display system 基于深 度神经网络的简单加密流量分类系统及展示系统☆17Aug 22, 2025Updated 10 months ago
- This is the project for the paper of "Low-Light Video Enhancement via Spatial-Temporal Consistent Decomposition" in IJCAI2025☆92Jul 29, 2025Updated 11 months ago
- A desktop MCP client designed as a tool unitary utility integration, accelerating AI adoption through the Model Context Protocol (MCP) an…☆1,152May 14, 2026Updated 2 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.
- AGS10 full-featured driver library for general-purpose MCU and Linux.☆11Jun 21, 2026Updated 3 weeks ago
- DeepWism R2 is a next-generation AGI system built on the T3CEDS framework (Thin-Thick-Thin Crowd Entropy Dynamics System), which redefine…☆1,016Jun 27, 2025Updated last year
- SDG is a specialized framework designed to generate high-quality structured tabular data.☆2,429Updated this week
- SSD1315 full-featured driver for general-purpose MCU and Linux.☆63Jul 5, 2026Updated last week
- ☆93Jan 16, 2024Updated 2 years ago
- An agent capable of self-evolving and dynamically hardening security☆2,412May 25, 2026Updated last month
- ☆17May 14, 2025Updated last year
- Context drive for your AI agents☆941Updated this week
- Align Anything: Training All-modality Model with Feedback☆4,663Nov 27, 2025Updated 7 months 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.
- JetYOLO：Speed through your TensorRT/Deepstream app development.☆118Apr 16, 2024Updated 2 years ago
- ☆57Apr 13, 2026Updated 3 months ago
- Build your own AI agent through gameplay.☆613Jun 30, 2026Updated 2 weeks ago
- Towards Self-Evolving Proactive AI with Perpetual Memory☆203Apr 17, 2026Updated 2 months ago
- The next generation deep reinforcement learning tookit☆3,464Jun 16, 2023Updated 3 years ago
- CheapSeek delivers DeepSeek-level performance at a fraction of the cost, running smoothly in environments without GPU.☆14Feb 14, 2025Updated last year
- SocioDojo lifelong learning environment for real-society dynamics and hypothesis and proof agent.☆229Feb 26, 2024Updated 2 years ago
- A minimal, opinionated protocol for initializing new projects with both human-readable and agent-oriented documentation.☆38Apr 28, 2026Updated 2 months ago
- NFTI AI — NFTI your AI Agents & Virtual IP. Bridging intelligent agents, MCP protocols, and RWA to create a new era of digital sovereignt…☆236Jun 26, 2025Updated last year
- 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.
- 模拟实现TLS1.3全部主要加密认证流程的Java HTTP代理服务器🗝️A Java HTTP proxy server with simplified, demonstration-only TLSv1.3 encryption&authentication☆25Aug 21, 2025Updated 10 months ago
- Setu is a causally driven distributed ledger system designed for the AI-native economy. Different from traditional blockchains that gener…☆46Jun 16, 2026Updated 3 weeks ago
- Pytorch implementation of "MHS-VM: Multi-Head Scanning in Parallel Subspaces for Vision Mamba"☆43Jul 18, 2024Updated last year
- Federation over Text (FoT) is a federated-learning-like paradigm for multi-agent reasoning.☆110May 21, 2026Updated last month
- Windows-first SSH bootstrap, diagnostics, transfer fallback, and remote ops toolkit for Linux and HPC workflows.☆16May 21, 2026Updated last month
- A high-throughput, GPU-accelerated cell segmentation + intensity quantification pipeline☆32Nov 24, 2025Updated 7 months ago
- Comprehensive AI-powered urban development optimization platform that combines deep learning and reinforcement learning for data-driven b…☆35Nov 26, 2025Updated 7 months ago