loda-lang/loda-programs

Issues

• Publish submitter stats

  #398 opened 2 years ago by ckrause
  0

• Submit dataset for Hugging Face

  #397 opened 2 years ago by neoneye
  0

• Analyze programs for decimal expansions of zeta(2) and zeta(3)

  #396 opened 2 years ago by ckrause
  0

• First program for decimal expansion of zeta(5)

  #395 opened 2 years ago by ckrause
  0

• Equivalence of programs

  #63 opened 2 years ago by ckrause
  2

• Extract formula for A045917: From Goldbach problem

  #394 opened 3 years ago by ckrause
  2

• Clustering of programs

  #58 opened 3 years ago by ckrause
  1

• Decimal expansions of cube roots

  #49 opened 3 years ago by ckrause
  1

• Magic constant in Collatz programs

  #43 opened 3 years ago by ckrause
  2

• Removed programs

  #356 opened 3 years ago by kotenok2000
  1

• Escape special characters in program lists

  #179 opened 3 years ago by ckrause
  1

• Check takes too long for large commits/PRs

  #109 opened 3 years ago by ckrause
  1

• Automatically check changed programs in PRs / commits

  #57 opened 3 years ago by ckrause
  2

• Program for decimal expansions of square roots

  #5 opened 4 years ago by ckrause
  2

• Regularly reload OEIS manager during miner

  #19 opened 4 years ago by ckrause
  0