☆26Apr 6, 2026Updated last month
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:
- ☆23Jan 19, 2023Updated 3 years ago
- Runtime and miner for the LODA language written in C++☆27May 16, 2026Updated last week
- Java implementations of sequences in the OEIS☆72Updated this week
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆31May 20, 2025Updated last year
- ☆13Dec 31, 2023Updated 2 years 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.
- code for Towards Data Science article on prompt-loss-weight☆11Jun 4, 2025Updated 11 months ago
- Write formal proofs in natural language and LaTeX.☆47Dec 18, 2025Updated 5 months ago
- ☆24Dec 9, 2020Updated 5 years ago
- symbolic regression☆40Jul 20, 2022Updated 3 years ago
- Lean 形式化数学☆18Dec 20, 2025Updated 5 months ago
- zero-code hyperparameters optimization framework☆14Jan 25, 2024Updated 2 years ago
- Moved to Codeberg☆10Jan 10, 2026Updated 4 months ago
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- ☆27Sep 11, 2024Updated last year
- 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.
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆64Apr 28, 2026Updated 3 weeks ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆125Updated this week
- Reproduction of 'Analysing Mathematical Reasoning Abilities of Neural Models' Saxton et. al. 2019☆12Dec 8, 2022Updated 3 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆51Feb 2, 2025Updated last year
- Simple PostgreSQL bindings for modern C++☆11Nov 30, 2020Updated 5 years ago
- SNOBOL/SPITBOL pattern matching in JavaScript☆10Apr 2, 2021Updated 5 years ago
- Implementation of the Hierarchical Reasoning Model (HRM), applied to a pathfinding task, plus performance study.☆32Sep 9, 2025Updated 8 months ago
- Write LaTeX presentations directly from Lean4~☆27Dec 28, 2025Updated 4 months ago
- Improved image classification using a modified LIME framework, enabling user-driven hierarchical feature analysis through the integration…☆17Dec 9, 2025Updated 5 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.
- A collection of recent open-source math datasets for training and evaluating Math LLMs☆30Apr 26, 2026Updated last month
- ☆15Jul 29, 2024Updated last year
- Tools for reverse engineering LEGO MINDSTORMS and related products.☆16Oct 11, 2019Updated 6 years ago
- Alpino in Docker☆10Apr 16, 2026Updated last month
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Sources of the EuroProofNet web site.☆13May 13, 2026Updated last week
- Recombining and concurrent Monte Carlo tree search☆12Jan 14, 2021Updated 5 years ago
- A Data-Centric Perspective on Evaluating Machine Learning Models for Tabular Data☆16Aug 26, 2024Updated last year
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆40May 19, 2026Updated last week
- 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.
- Metrical position in Greek hexameter.☆13May 19, 2026Updated last week
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆43Nov 9, 2023Updated 2 years ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆25Updated this week
- Home page for jaanga.github.io - your 3D happy place. Explore ways of demonstrating STEM topics with beginner level code. Provide many s…☆20Nov 29, 2025Updated 5 months ago
- Reproduction of "Latent Weights Do Not Exist: Rethinking Binarized Neural Network Optimization" for the Reproducibility challenge@NeurIPS…☆11Jan 14, 2020Updated 6 years ago
- Symbolic regression by uniform random global search☆13Jul 6, 2023Updated 2 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago