Alternatives and similar repositories for oeis-synthesis

Users that are interested in oeis-synthesis are comparing it to the libraries listed below

• loda-lang / loda-cpp

  View on GitHub
  Runtime and miner for the LODA language written in C++
  ☆28Updated this week
• ckrause / loda

  View on GitHub
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Aug 23, 2021Updated 4 years ago
• loda-lang / loda-programs

  View on GitHub
  LODA Programs for Integer Sequences
  ☆37Updated this week
• stubbscroll / OEIS

  View on GitHub
  implementation of OEIS sequences
  ☆11Nov 30, 2016Updated 9 years ago
• jdan / oeis

  View on GitHub
  On-Line Encyclopedia of Integer Sequences gem
  ☆17Feb 22, 2013Updated 12 years ago
• dbigham / ARC

  View on GitHub
  Abstraction and Reasoning Corpus
  ☆14Nov 22, 2022Updated 3 years ago
• Purewhite2019 / rethinking_autoformalization

  View on GitHub
  [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach
  ☆27May 20, 2025Updated 8 months ago
• feltocraig / BBP-Bellard

  View on GitHub
  An implementation of BBP through Bellard's formula to calculate the nth digit of Pi.
  ☆13Jun 11, 2013Updated 12 years ago
• archmageirvine / joeis

  View on GitHub
  Java implementations of sequences in the OEIS
  ☆70Updated this week
• paperswithcode / sotabench-api

  View on GitHub
  Easily benchmark Machine Learning models on selected tasks and datasets
  ☆16May 22, 2023Updated 2 years ago
• jcole75 / ARC_Solver

  View on GitHub
  Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.
  ☆16Oct 18, 2022Updated 3 years ago
• sap-ient-ai / FFF

  View on GitHub
  FastFeedForward Networks
  ☆20Dec 8, 2023Updated 2 years ago
• endomorphosis / ipfs_transformers_py

  View on GitHub
  a model manager for the Transformers library, implementing S3 and IPFS downloads
  ☆19Nov 12, 2025Updated 3 months ago
• sidneycadot / oeis

  View on GitHub
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆50Feb 2, 2025Updated last year
• lalalune / gptcoder

  View on GitHub
  RAG Agent for the ARC AGI Challenge
  ☆20Jul 1, 2024Updated last year
• oeis / oeisdata

  View on GitHub
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆116Updated this week
• yoheinakajima / pippin_moves

  View on GitHub
  quick playground to animate pippin
  ☆14Nov 11, 2024Updated last year
• StampyAI / stampy

  View on GitHub
  A Discord bot for the Robert Miles AI server
  ☆40Jan 27, 2026Updated 2 weeks ago
• naproche / naproche

  View on GitHub
  Write formal proofs in natural language and LaTeX.
  ☆46Dec 18, 2025Updated last month
• JulienPalard / oeis

  View on GitHub
  Newcomer friendly project implementing a few oeis.org sequences.
  ☆27Nov 7, 2025Updated 3 months ago
• apps4av / avarehelper

  View on GitHub
  avarehelper
  ☆12Aug 15, 2021Updated 4 years ago
• MathWebSearch / mws

  View on GitHub
  MathWebSearch Implementation
  ☆48Nov 25, 2022Updated 3 years ago
• ul-fmf / mlfmf-data

  View on GitHub
  Machine Learning for Mathematical Formalization
  ☆11Jul 20, 2024Updated last year
• leoschweizer / Heliograph

  View on GitHub
  Mirror-based reflection for Objective-C
  ☆10Jan 18, 2016Updated 10 years ago
• queueit / ios-webui-sdk

  View on GitHub
  Library for integrating Queue-it into an iOS app using web ui
  ☆11Dec 19, 2025Updated last month
• r4p3c4 / CVE-2024-21762-Exploit-PoC-Fortinet-SSL-VPN-Check

  View on GitHub
  Chequea si tu firewall es vulnerable a CVE-2024-21762 (RCE sin autenticación)
  ☆15Jun 29, 2025Updated 7 months ago
• pondorasti / PickerKit

  View on GitHub
  iOS Color Picker
  ☆11Jun 15, 2019Updated 6 years ago
• dmurfet / polysemantics

  View on GitHub
  Polynomial semantics of linear logic
  ☆13Apr 15, 2018Updated 7 years ago
• CPSSD / LUCAS

  View on GitHub
  The repository for the LUCAS/Lucify project
  ☆11Apr 4, 2020Updated 5 years ago
• forresttindall / QuantumKeep

  View on GitHub
  A quantum enhanced, totaly private encryption app that uses true random key generation from zero point energy.
  ☆13Jul 2, 2025Updated 7 months ago
• JoinTheAlliance / discord-docsbot

  View on GitHub
  Discord Docsbot, Built on bgent
  ☆11Jun 17, 2024Updated last year
• LuxiaSL / hephia

  View on GitHub
  an autonomous independent digital companion
  ☆14Updated this week
• JentGent / tANS

  View on GitHub
  tabled asymmetric numeral system
  ☆39Aug 18, 2024Updated last year
• turksiberguvenlik / spade

  View on GitHub
  Anrodi Trojanı Başka Bir Programla Birleştir
  ☆10Oct 30, 2016Updated 9 years ago
• EuroProofNet / europroofnet.github.io

  View on GitHub
  Sources of the EuroProofNet web site.
  ☆13Feb 2, 2026Updated last week
• erinzm / SageMathematics-raspi

  View on GitHub
  Sage Math recompiled to run on the Raspberry Pi
  ☆15Oct 9, 2015Updated 10 years ago
• 00StevenG / NSDictionary-ImageMetadata

  View on GitHub
  ☆30May 18, 2014Updated 11 years ago
• pekkavaa / SingleImageNCAFiltering

  View on GitHub
  ☆10Apr 16, 2023Updated 2 years ago
• 9esim / eLPA

  View on GitHub
  The 9esim mini tool is a external (or we called extension) LPA on a board, which based on ESP32S3.
  ☆13Dec 19, 2024Updated last year