☆25Apr 6, 2026Updated 6 months ago
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
- Runtime and miner for the LODA language written in C++☆28Sep 10, 2026Updated last month
- Java implementations of sequences in the OEIS☆77Updated this week
- ☆14Dec 31, 2023Updated 2 years ago
- code for Towards Data Science article on prompt-loss-weight☆11Jun 4, 2025Updated 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.
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆34Mar 9, 2026Updated 7 months ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆30May 20, 2025Updated last year
- symbolic regression☆40Jul 20, 2022Updated 4 years ago
- Fast IdEntification of State-of-The-Art models using adaptive bandit algorithms☆14Jul 15, 2022Updated 4 years ago
- Simple PostgreSQL bindings for modern C++☆11Nov 30, 2020Updated 5 years ago
- 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
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated 2 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.
- ☆15Jul 29, 2024Updated 2 years ago
- ☆13Feb 9, 2024Updated 2 years ago
- Alpino in Docker☆11Apr 16, 2026Updated 5 months ago
- TPTP linear logic version☆14Jan 27, 2025Updated last year
- [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
- Symbolic regression by uniform random global search☆13Jul 6, 2023Updated 3 years ago
- ☆14Jun 25, 2024Updated 2 years ago
- Improved image classification using a modified LIME framework, enabling user-driven hierarchical feature analysis through the integration…☆17Sep 2, 2026Updated last month
- Tool to analyse the import structure of lean projects.☆28Updated this week
- 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.
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- Metrical position in Greek hexameter.☆13Sep 12, 2026Updated last month
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 8 years ago
- ☆27Sep 11, 2024Updated 2 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆135Updated this week
- Lean 形式化数学☆21Dec 20, 2025Updated 9 months ago
- ☆18Sep 11, 2026Updated last month
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆66Aug 29, 2026Updated last month
- A Data-Centric Perspective on Evaluating Machine Learning Models for Tabular Data☆16Aug 26, 2024Updated 2 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.
- ☆12Dec 25, 2023Updated 2 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- Open-source IFC models under CC-BY-4.0 from BIM students projects at TUM Georg Nemetschek Institute (GNI)☆41Apr 26, 2026Updated 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
- ResBIM dataset — Fully Automated Synthetic BIM Dataset Generation☆33Jan 28, 2026Updated 8 months ago
- Homepage of the Lean-zh website.☆61Aug 13, 2026Updated 2 months ago
- 使用vue.js前后端分离开发微信公众号内部使用的h5网页☆13Jan 5, 2023Updated 3 years ago