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++
  ☆24Updated this week
• 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 3 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆59Updated this week
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆17Updated last year
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆19Updated 12 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆73Updated this week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• metamath / metamath-book
  Source of metamath book
  ☆47Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated 6 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated this week
• ef-gy / topologic
  Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces
  ☆40Updated 7 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆30Updated 3 weeks ago
• catseye / Wierd
  A fungeoid language where bends in the chain determine the instructions
  ☆12Updated 3 years ago
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆15Updated 5 years ago
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• stephenathel / gawxm
  Geometric Algebra using wxMaxima (GAwxM)
  ☆12Updated 9 months ago
• mwalczyk / pga-axioms
  Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
  ☆12Updated 4 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆67Updated last month
• gurgeh / CodeSpace
  Exploring the space of all possible programs
  ☆27Updated 11 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated last week
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆27Updated 4 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆141Updated last month