-
Notifications
You must be signed in to change notification settings - Fork 2
Issues: loda-lang/loda-rust
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Launch miner - runs Something isn't working
miner
LODA-RUST miner
miner_sync_simple.rb
- deal with no internet connection
bug
#28
opened Dec 6, 2022 by
neoneye
Perform analytics with configurable interval - eg. 1 hour
miner
LODA-RUST miner
#26
opened Dec 2, 2022 by
neoneye
Retry upload - in case there is a connection issue
bug
Something isn't working
miner
LODA-RUST miner
#25
opened Nov 29, 2022 by
neoneye
Sporadic crash in LRU - unwrap on None - pointer being freed was not allocated
bug
Something isn't working
miner
LODA-RUST miner
#24
opened Nov 28, 2022 by
neoneye
Automate downloading of latest LODA-RUST miner
stripped
and names
.
miner
#22
opened Nov 7, 2022 by
neoneye
html title to show OEIS a number and sequence name
web-edit
Edit and run loda in the browser
#21
opened Sep 29, 2022 by
neoneye
Export LODA program to other languages: Python/Ruby/Javascript/PARI
#19
opened Jul 4, 2022 by
neoneye
Check correctness inside the editor
web-edit
Edit and run loda in the browser
#15
opened Dec 30, 2021 by
neoneye
log plot with negative values
web-edit
Edit and run loda in the browser
#13
opened Dec 30, 2021 by
neoneye
Click on A123456 and jump to OEIS
web-edit
Edit and run loda in the browser
#11
opened Dec 25, 2021 by
neoneye
Instruction Edit and run loda in the browser
seq
- Jump to the referenced sequence in a separate editor
web-edit
#7
opened Aug 16, 2021 by
neoneye
Tooltip for each term showing its index
web-edit
Edit and run loda in the browser
#6
opened Aug 16, 2021 by
neoneye
ProTip!
Find all open issues with in progress development work with linked:pr.