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
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated 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 3 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated last month
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated 2 weeks ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 5 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆32Updated 6 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆70Updated 3 weeks ago
• ericastor / rmzoo
  ☆13Updated last year
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• clsn / ries
  Robert Munafo's reverse equation solver
  ☆14Updated 2 years ago