☆25Apr 6, 2026Updated 5 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 2 weeks ago
- Java implementations of sequences in the OEIS☆76Updated this week
- ☆14Dec 31, 2023Updated 2 years ago
- code for Towards Data Science article on prompt-loss-weight☆11Jun 4, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆34Mar 9, 2026Updated 6 months ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- 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 8 months ago
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆30May 20, 2025Updated last year
- ☆33Jul 22, 2025Updated last year
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆51Feb 2, 2025Updated last year
- ☆13Oct 3, 2024Updated last year
- Write formal proofs in natural language and LaTeX.☆52Sep 10, 2026Updated 2 weeks ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated 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.
- ☆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
- Exploring the space of all possible programs☆26Jan 9, 2014Updated 12 years ago
- [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
- Improved image classification using a modified LIME framework, enabling user-driven hierarchical feature analysis through the integration…☆17Sep 2, 2026Updated 3 weeks ago
- Tool to analyse the import structure of lean projects.☆26Updated this week
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated 3 weeks 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.
- Metrical position in Greek hexameter.☆13Sep 12, 2026Updated last week
- ☆27Sep 11, 2024Updated 2 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆131Updated this week
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- ☆18Sep 11, 2026Updated last 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 9 months ago
- A Data-Centric Perspective on Evaluating Machine Learning Models for Tabular Data☆16Aug 26, 2024Updated 2 years ago
- ☆12Dec 25, 2023Updated 2 years ago
- ResBIM dataset — Fully Automated Synthetic BIM Dataset Generation☆33Jan 28, 2026Updated 7 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.
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- An open Algebraic Machine Learning (AML) engine for building models and performing inference. Designed for community-driven exploration a…☆21Nov 5, 2025Updated 10 months ago
- Abstraction and Reasoning Corpus☆15Nov 22, 2022Updated 3 years ago
- Code for the 2-simplicial Transformer paper☆21Jan 16, 2020Updated 6 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆21Jun 11, 2026Updated 3 months ago
- Dynamic Markov Blanket Discovery☆15Mar 27, 2024Updated 2 years ago
- 本项目为2021年华南理工大学计算机科学与工程学院操作系统课程设计。构建了一个类Linux的文件系统。 本项目最终得分为97/100，排名2/92☆13Sep 27, 2024Updated last year