☆19Apr 2, 2026Updated 4 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:
- ☆20Mar 11, 2026Updated 4 months ago
- Official Project Page for Web World Models (https://arxiv.org/abs/2512.23676)☆92Jun 5, 2026Updated 2 months ago
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆135Updated this week
- (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Offici…☆21Dec 26, 2025Updated 7 months ago
- [NeurIPS'25] Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning☆16Dec 12, 2025Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆32Apr 8, 2026Updated 3 months ago
- ☆17Feb 4, 2025Updated last year
- 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
- ☆13Feb 27, 2024Updated 2 years ago
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆25Jul 27, 2026Updated last week
- Functions for handling RNA-seq files and formats as input and output for scrattch functions.☆11Aug 20, 2025Updated 11 months ago
- Code repo for MathAgent☆20Dec 15, 2023Updated 2 years ago
- ICD-10 nternational Statistical Classification of Diseases and Related Health Problems - Ground Truth and some Experimental R Code for N…☆14May 14, 2018Updated 8 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.
- MATLAB implementation of Gene Set Enrichment Analysis (GSEA) method for finding pathways which can show more complex relation between cha…☆10Sep 7, 2022Updated 3 years ago
- Host a graph database such as OrientDB on IBM Container Service using Kubernetes APIs☆12Apr 22, 2019Updated 7 years ago
- ☆19Jun 23, 2026Updated last month
- ☆20Jan 10, 2025Updated last year
- Blender addon for importing Megascans from local directory or zip file.☆10Jun 10, 2025Updated last year
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆16Apr 16, 2026Updated 3 months ago
- Undub project for Tecmo's Project Zero - the EU version (the first one) for the PS2☆16Jul 23, 2023Updated 3 years ago
- Fund your open source dependencies☆12Oct 28, 2022Updated 3 years ago
- Pi for Reverse Engineers☆21May 2, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Jul 13, 2018Updated 8 years ago
- Multivariate adaptive shrinkage methods used for analysis GTEx data in Urbut et al (2017).☆12Sep 25, 2017Updated 8 years ago
- Does Socialization Emerge in AI Agent Society? A Case Study of Moltbook☆18Feb 17, 2026Updated 5 months 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
- OpenClaw plugin for Momo memory☆15Feb 11, 2026Updated 5 months ago
- Get insights from OrientDB database using PyOrient through IBM Watson Studio☆13Apr 22, 2019Updated 7 years ago
- ☆11Oct 23, 2025Updated 9 months ago
- Minimal Viable Illumos☆18Updated this week
- SUmmarizing Multiple Enrichment analysis Results☆10Nov 14, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Manage Files Across Sessions☆14Apr 29, 2026Updated 3 months ago
- pipelines to process scRNA-seq data☆12Jan 11, 2021Updated 5 years ago
- A modern Customer Relationship Management (CRM) system built with Go backend and React TypeScript frontend, featuring lead management, …☆18Mar 31, 2026Updated 4 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 last year
- An opinionated Django setup for Divio Cloud☆12Updated this week
- Xmixers: A collection of SOTA efficient token/channel mixers☆29Sep 4, 2025Updated 11 months ago