A mathematical research workflow built on Pi Durable
☆38Oct 27, 2026Updated this week
Alternatives and similar repositories for xean
Users that are interested in xean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆29Updated this week
- Formalization of de Rham cohomologies of a smooth manifold☆11Jun 4, 2025Updated last year
- Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.☆22Sep 6, 2026Updated last month
- An exact Bayesian network structure learning software based on dynamic programming.☆14Jul 24, 2026Updated 3 months ago
- [ICML2026] The official code of "Beyond Gemini-3-Pro: Revisiting LLM Routing and Aggregation at Scale"☆15Jun 3, 2026Updated 4 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆41Sep 7, 2026Updated last month
- ☆19Jan 20, 2025Updated last year
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- A utility package for Hironaka game of local resolution of singularities☆11Apr 30, 2023Updated 3 years ago
- ☆13Jul 2, 2025Updated last year
- ☆13Oct 11, 2026Updated 2 weeks ago
- Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs☆34Nov 1, 2025Updated 11 months ago
- ☆83Jul 25, 2026Updated 3 months ago
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆43Apr 8, 2026Updated 6 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.
- Find Nash equilibrium for all games☆31Aug 19, 2022Updated 4 years ago
- Official Implementation of CiteAgent Framework☆10Nov 18, 2025Updated 11 months ago
- Formally Verified Float Implementation with lean4☆24Sep 12, 2026Updated last month
- Vibe Mathematics —— 多代理数学问题求解与形式化验证框架☆43Updated this week
- userChrome.css file for a Zotero dark theme. Suggestions for improvements are welcome.☆33Mar 11, 2024Updated 2 years ago
- Python neighbor-joining library. Goal: Efficient O(n^2) neighbor-joining algorithm.☆12May 5, 2014Updated 12 years ago
- kugou krc to lrc☆27Sep 8, 2019Updated 7 years ago
- ☆15Dec 31, 2020Updated 5 years ago
- Theory of Computing Report☆16Oct 1, 2026Updated 3 weeks 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.
- Lean 4 library and knowledge base for computational economics☆42Oct 14, 2026Updated 2 weeks ago
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated 2 weeks ago
- harvard-cs-2881-classroom-hw0-c2881-hw0 created by GitHub Classroom☆18Jul 26, 2025Updated last year
- G. Peyré, L. Chizat, F-X. Vialard, J. Solomon, Quantum Optimal Transport for Tensor Field Processing, Arxiv, 2016☆10Apr 13, 2017Updated 9 years ago
- This repository contains an implementation of the Batch-BKB algorithm as described in the ICML 2020 paper "Near-linear time Gaussian proc…☆13Jul 14, 2020Updated 6 years ago
- Code for EMNLP24-findings. “SRAP-Agent: Simulating and Optimizing Scarce Resource Allocation Policy with LLM-based Agent”☆11May 24, 2024Updated 2 years ago
- Partial implementation of ODE-GAN technique from the paper Training Generative Adversarial Networks by Solving Ordinary Differential Equa…☆16Nov 12, 2020Updated 5 years ago
- A utility to convert Powerpoint slides to SVG☆17Jul 21, 2024Updated 2 years ago
- Instant Graph Neural Networks for Dynamic Graphs☆11Dec 28, 2022Updated 3 years 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.
- ☆11Jul 6, 2024Updated 2 years ago
- Models That Prove Their Own Correctness☆11Dec 11, 2024Updated last year
- Blog post: how to do deterministic policy gradient with gumbel softmax and why you should do it.☆12Jun 20, 2017Updated 9 years ago
- 【NeurIPS 2021 Spotlight】 "Torwards Gradient-based Bilevel Optimization with non-convex Followers and Beyond"☆11Mar 28, 2022Updated 4 years ago
- Bayesian network Learning Improved Project☆31Oct 12, 2020Updated 6 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆50Updated this week
- Neofetch in minecraft!☆14May 18, 2024Updated 2 years ago