☆29Apr 2, 2026Updated 6 months ago
Alternatives and similar repositories for autolean
Users that are interested in autolean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MathCode: A Frontier Mathematical Coding Agent☆743Updated this week
- ☆21Mar 11, 2026Updated 6 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
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 6 months ago
- SorryDB indexes sorries in public lean repositories☆57Sep 8, 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.
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆210Updated this week
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 8 months ago
- [NeurIPS'25] Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning☆17Dec 12, 2025Updated 9 months ago
- ☆138Updated this week
- Lean formalizations of Putnam-like problems☆21Aug 28, 2026Updated last month
- A proof of concept of a shared mathematical environment without need for version control or naming synchronization.☆26Mar 20, 2026Updated 6 months ago
- The public website for AllenNLP.☆10Feb 3, 2022Updated 4 years ago
- Code for the paper on t-SNE with variable degree of freedom☆11Jun 27, 2019Updated 7 years ago
- [ACL 2025 Findings] Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts (https://huggingface.co/papers…☆92Nov 23, 2025Updated 10 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.
- ☆13Feb 27, 2024Updated 2 years ago
- MATLAB implementation of Gene Set Enrichment Analysis (GSEA) method for finding pathways which can show more complex relation between cha…☆10Sep 7, 2022Updated 4 years ago
- Host a graph database such as OrientDB on IBM Container Service using Kubernetes APIs☆12Apr 22, 2019Updated 7 years ago
- ☆20Sep 12, 2026Updated 3 weeks ago
- Blender addon for importing Megascans from local directory or zip file.☆10Sep 23, 2026Updated last week
- Undub project for Tecmo's Project Zero - the EU version (the first one) for the PS2☆18Jul 23, 2023Updated 3 years ago
- Fund your open source dependencies☆12Oct 28, 2022Updated 3 years ago
- ☆12Jul 13, 2018Updated 8 years ago
- The code and analyses accompanying the manuscript “MetaMap: An atlas of metatranscriptomic reads in human disease-related RNA-seq data”.☆12Nov 28, 2018Updated 7 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.
- ☆11Oct 23, 2025Updated 11 months ago
- Minimal Viable Illumos☆20Sep 23, 2026Updated last week
- SUmmarizing Multiple Enrichment analysis Results☆10Nov 14, 2024Updated last year
- Manage Files Across Sessions☆14Apr 29, 2026Updated 5 months ago
- BrainSeq Phase II project lead by LIBD for the BrainSeq Consortium☆11Jan 7, 2024Updated 2 years ago
- Dimensionality-reduction and classification for morphology and electrophysiology☆12Sep 23, 2024Updated 2 years ago
- Kimina Lean server (+ client SDK)☆212Jan 11, 2026Updated 8 months ago
- ☆13Feb 16, 2019Updated 7 years ago
- An opinionated Django setup for Divio Cloud☆12Aug 4, 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.
- A formal proof of the Riemann Hypothesis for curves☆59Feb 6, 2026Updated 7 months ago
- Solving Competition Geometry Problems in Lean☆44Aug 26, 2025Updated last year
- repo to explore spatial data in R/Bioconductor and Python☆12Dec 3, 2019Updated 6 years ago
- ☆11May 11, 2023Updated 3 years ago
- replacement for nice/renice that doesn't get placebo'd by autogrouping☆14Oct 24, 2019Updated 6 years ago
- Open-source, self-hosted CRM: leads, deals, tickets, tasks and lead-capture forms. Go + React, SQLite or MySQL.☆23Updated this week
- Testing various algorithms for resolving node overlaps in a flow☆16Dec 1, 2025Updated 10 months ago