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++
  ☆27Updated this week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 4 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆66Updated last week
• ef-gy / topologic
  Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces
  ☆43Updated 8 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• 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
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated last month
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆26Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆86Updated 2 months ago
• Anon52MI4 / oeis-alien
  ☆20Updated 2 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆31Updated 4 years ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated last week
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated last month
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• nickdrozd / busy-beaver-stuff
  Tools for finding and analyzing Busy Beaver programs for Turing machines
  ☆12Updated this week
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 5 years ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 2 years ago