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++
  ☆28Updated last week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• Anon52MI4 / oeis-alien
  ☆22Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆37Updated 7 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• nickdrozd / busy-beaver-stuff
  Tools for finding and analyzing Busy Beaver programs for Turing machines
  ☆13Updated this week
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated 2 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 5 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 3 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 2 weeks ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated last week
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated 3 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆73Updated 3 weeks ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆68Updated this week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 8 months ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆128Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• mjdominus / cf
  Continued fraction library
  ☆32Updated 5 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆90Updated 2 weeks ago