Farid Hajji
Farid Hajji
The timestamps are not always correctly formatted by autosub: * `00:03:06,0: --> 00:03:18,55` * `00:38:58,0: --> 00:38:59,0:` * `00:52:11,25 --> 00:52:16,0:` I have to replace the `:` with `0` like...
Thank you for this excellent app. It is really helpful. A very useful enhancement would be to scan raw GNSS logs (GPS logs) on the device when available, and draw...
As far as I can see, there is currently no public interface for $E(\mathbb{F}_p)$ Point operations, but this is a highly desirable feature alongside the excellent $\mathbb{F}p$ API, and the...
The pure white background hurts the eyes for some people. A dark mode / night mode, or the ability to customize the colors of the UI would be nice.