☆25Apr 6, 2026Updated last week
Alternatives and similar repositories for oeis-synthesis
Users that are interested in oeis-synthesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Jan 19, 2023Updated 3 years ago
- LODA Programs for Integer Sequences☆38Apr 9, 2026Updated last week
- Runtime and miner for the LODA language written in C++☆28Mar 18, 2026Updated 3 weeks ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Aug 23, 2021Updated 4 years ago
- Web editor for the LODA language.☆30Oct 28, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Java implementations of sequences in the OEIS☆71Updated this week
- [AAAI 24] GradTree: Gradient-Based Axis-Aligned Decision Trees☆15Aug 28, 2024Updated last year
- ☆13Dec 31, 2023Updated 2 years ago
- code for Towards Data Science article on prompt-loss-weight☆11Jun 4, 2025Updated 10 months ago
- Write formal proofs in natural language and LaTeX.☆48Dec 18, 2025Updated 3 months ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Feb 2, 2025Updated last year
- Only hosting https://doc.sagemath.org/ files. Updates to the documentation must be made with PRs to https://github.com/sagemath/sage, not…☆12Dec 27, 2025Updated 3 months ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- symbolic regression☆40Jul 20, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lean 形式化数学☆17Dec 20, 2025Updated 3 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆122Updated this week
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- ☆27Sep 11, 2024Updated last year
- Deep neural architecture research framework☆12Mar 24, 2023Updated 3 years ago
- Homepage of the Lean-zh website.☆57Apr 8, 2026Updated last week
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆62Jan 11, 2026Updated 3 months ago
- Reproduction of 'Analysing Mathematical Reasoning Abilities of Neural Models' Saxton et. al. 2019☆12Dec 8, 2022Updated 3 years ago
- Simple PostgreSQL bindings for modern C++☆11Nov 30, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆18Apr 6, 2022Updated 4 years ago
- Agent Skill Induction: "Inducing Programmatic Skills for Agentic Tasks"☆40Apr 24, 2025Updated 11 months ago
- Implementation of the Hierarchical Reasoning Model (HRM), applied to a pathfinding task, plus performance study.☆32Sep 9, 2025Updated 7 months ago
- ☆14Jun 25, 2024Updated last year
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- Try HopWeaver: The first automatic synthesis framework based on any corpora, with quality approaching manual annotation.☆24Apr 7, 2026Updated last week
- ☆16Jul 29, 2024Updated last year
- Alpino in Docker☆10Nov 19, 2025Updated 4 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 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.
- implementation of OEIS sequences☆11Nov 30, 2016Updated 9 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Sources of the EuroProofNet web site.☆13Apr 8, 2026Updated last week
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Exploring the space of all possible programs☆27Jan 9, 2014Updated 12 years ago
- Compute a definite integral using Simpson's Rule with adaptive quadrature☆23Mar 17, 2017Updated 9 years ago
- A Data-Centric Perspective on Evaluating Machine Learning Models for Tabular Data☆16Aug 26, 2024Updated last year