barakeel / oeis-synthesisView external linksLinks
☆25Jan 27, 2026Updated 2 weeks ago
Alternatives and similar repositories for oeis-synthesis
Users that are interested in oeis-synthesis are comparing it to the libraries listed below
Sorting:
- Runtime and miner for the LODA language written in C++☆28Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Aug 23, 2021Updated 4 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- implementation of OEIS sequences☆11Nov 30, 2016Updated 9 years ago
- On-Line Encyclopedia of Integer Sequences gem☆17Feb 22, 2013Updated 12 years ago
- Abstraction and Reasoning Corpus☆14Nov 22, 2022Updated 3 years ago
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆27May 20, 2025Updated 8 months ago
- An implementation of BBP through Bellard's formula to calculate the nth digit of Pi.☆13Jun 11, 2013Updated 12 years ago
- Java implementations of sequences in the OEIS☆70Updated this week
- Easily benchmark Machine Learning models on selected tasks and datasets☆16May 22, 2023Updated 2 years ago
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆16Oct 18, 2022Updated 3 years ago
- FastFeedForward Networks☆20Dec 8, 2023Updated 2 years ago
- a model manager for the Transformers library, implementing S3 and IPFS downloads☆19Nov 12, 2025Updated 3 months ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Feb 2, 2025Updated last year
- RAG Agent for the ARC AGI Challenge☆20Jul 1, 2024Updated last year
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆116Updated this week
- quick playground to animate pippin☆14Nov 11, 2024Updated last year
- A Discord bot for the Robert Miles AI server☆40Jan 27, 2026Updated 2 weeks ago
- Write formal proofs in natural language and LaTeX.☆46Dec 18, 2025Updated last month
- Newcomer friendly project implementing a few oeis.org sequences.☆27Nov 7, 2025Updated 3 months ago
- avarehelper☆12Aug 15, 2021Updated 4 years ago
- MathWebSearch Implementation☆48Nov 25, 2022Updated 3 years ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- Mirror-based reflection for Objective-C☆10Jan 18, 2016Updated 10 years ago
- Library for integrating Queue-it into an iOS app using web ui☆11Dec 19, 2025Updated last month
- Chequea si tu firewall es vulnerable a CVE-2024-21762 (RCE sin autenticación)☆15Jun 29, 2025Updated 7 months ago
- iOS Color Picker☆11Jun 15, 2019Updated 6 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- The repository for the LUCAS/Lucify project☆11Apr 4, 2020Updated 5 years ago
- A quantum enhanced, totaly private encryption app that uses true random key generation from zero point energy.☆13Jul 2, 2025Updated 7 months ago
- Discord Docsbot, Built on bgent☆11Jun 17, 2024Updated last year
- an autonomous independent digital companion☆14Updated this week
- tabled asymmetric numeral system☆39Aug 18, 2024Updated last year
- Anrodi Trojanı Başka Bir Programla Birleştir☆10Oct 30, 2016Updated 9 years ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- ☆30May 18, 2014Updated 11 years ago
- ☆10Apr 16, 2023Updated 2 years ago
- The 9esim mini tool is a external (or we called extension) LPA on a board, which based on ESP32S3.☆13Dec 19, 2024Updated last year