Alternatives and similar repositories for loda-programs

Users that are interested in loda-programs are comparing it to the libraries listed below

• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆25Updated this week
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 2 weeks ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated this week
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 4 years ago
• catseye / Wierd
  A fungeoid language where bends in the chain determine the instructions
  ☆12Updated 3 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆21Updated 3 weeks ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• JerryI / wl-wlx
  Wolfram Language XML syntax extension (a superset of WL and XML) for building web-apps
  ☆17Updated 2 weeks ago
• linas / anant
  Analytic Number Theory high-precision GnuMP routines
  ☆17Updated last year
• stephenathel / gawxm
  Geometric Algebra using wxMaxima (GAwxM)
  ☆13Updated 2 months ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆21Updated 3 months ago
• mwalczyk / pga-axioms
  Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
  ☆12Updated 4 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 4 years ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆48Updated 3 weeks ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated last week
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 2 months ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago
• jart / matmul
  ☆18Updated 11 months ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• MathBases / MathBases
  ☆22Updated 2 weeks ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated last month