Alternatives and similar repositories for oeis:

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

• kimwalisch / primesum
  🚀 Sum of the primes below x
  ☆38Updated 2 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated this week
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆66Updated this week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• arpra-project / arpra
  Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
  ☆24Updated 2 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated this week
• robol / MPSolve
  Multiprecision Polynomial Solver
  ☆42Updated last month
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 6 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆38Updated last week
• stubbscroll / OEIS
  implementation of OEIS sequences
  ☆11Updated 8 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• jlumbroso / encyclopedia-of-combinatorial-structures-data
  Encyclopedia of Combinatorial Structures
  ☆13Updated 6 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆32Updated 6 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆27Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆16Updated last year
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆62Updated 2 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆34Updated this week
• orcca-uwo / BPAS
  Basic Polynomial Algebra Subprograms
  ☆15Updated 3 years ago
• martingkelly / pyecm
  Pyecm factors large integers (up to 50 digits) using the Elliptic Curve Method (ECM), a fast factoring algorithm.
  ☆21Updated 3 years ago
• xournal / xournal
  Mirror of the official xournal repository
  ☆25Updated 2 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 3 years ago
• MathBases / MathBases
  ☆21Updated this week
• probsys / fast-loaded-dice-roller
  A near-optimal exact sampler for discrete probability distributions
  ☆55Updated last month
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆80Updated this week
• Kroneckera / bunkbed-counterexample
  ☆16Updated 7 months ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 4 years ago
• mwalczyk / pga-axioms
  Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
  ☆12Updated 4 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago