☆25Jan 27, 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
Sorting:
- ☆22Jan 19, 2023Updated 3 years ago
- 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☆38Updated this week
- implementation of OEIS sequences☆11Nov 30, 2016Updated 9 years ago
- On-Line Encyclopedia of Integer Sequences gem☆17Feb 22, 2013Updated 13 years ago
- Abstraction and Reasoning Corpus☆14Nov 22, 2022Updated 3 years 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)☆118Updated this week
- A Discord bot for the Robert Miles AI server☆40Jan 27, 2026Updated last month
- Newcomer friendly project implementing a few oeis.org sequences.☆27Nov 7, 2025Updated 3 months ago
- Cuda Miner for BeamHash (Equihash 150,5)☆13Jan 16, 2019Updated 7 years ago
- avarehelper☆12Aug 15, 2021Updated 4 years ago
- ☆10Apr 16, 2023Updated 2 years ago
- Verilog bit slicing for python☆10May 13, 2021Updated 4 years ago
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- The repository for the LUCAS/Lucify project☆11Apr 4, 2020Updated 5 years ago
- Library for integrating Queue-it into an iOS app using web ui☆11Dec 19, 2025Updated 2 months 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
- Cookiecutter template for making a cog for Red.☆12Jun 18, 2024Updated last year
- Anrodi Trojanı Başka Bir Programla Birleştir☆10Oct 30, 2016Updated 9 years ago
- Extract streaming data from text using prefix completion.☆10Oct 6, 2024Updated last year
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- an autonomous independent digital companion☆14Feb 12, 2026Updated 3 weeks ago
- Discord Docsbot, Built on bgent☆11Jun 17, 2024Updated last year
- ☆30May 18, 2014Updated 11 years ago
- iOS Color Picker☆11Jun 15, 2019Updated 6 years ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- Bitcoin Hardware Wallet Interaction scripts☆11Jan 30, 2026Updated last month
- A quantum enhanced, totaly private encryption app that uses true random key generation from zero point energy.☆13Jul 2, 2025Updated 8 months ago
- Chequea si tu firewall es vulnerable a CVE-2024-21762 (RCE sin autenticación)☆15Jun 29, 2025Updated 8 months ago
- Mirror-based reflection for Objective-C☆10Jan 18, 2016Updated 10 years ago