sdc - A ridiculously overengineered flash cards app using C, SQLite, Fenwick trees, and PyQt

Branch	Commit message	Author	Age
master	Add semi-blank Fenwick proof files if people/LLMs want to try writing it them...	Anthony Wang	3 days


Age	Commit message	Author
3 days	Add semi-blank Fenwick proof files if people/LLMs want to try writing it them...HEAD master	Anthony Wang
2025-05-07	Fix slow verification with z3 4.13	Anthony Wang
2025-04-28	Slight tweak for range_query proof (unfortunately labels @ syntax doesn't wor...	Anthony Wang
2025-04-28	Turn on tty echo at end of program	Anthony Wang
2025-04-27	Also mention Android support	Anthony Wang
2025-04-27	Add Haiku support (kinda)	Anthony Wang
2025-04-19	Add simple benchmark code, compile to a Go library too since it's faster than...	Anthony Wang
2025-04-19	Revert "Seems like {:isolate_assertions} is no longer needed for update?"•••This reverts commit 214cf0a903690e14d7692a14c10aa3acef9adb0c.	Anthony Wang
2025-04-12	GCC is available in the Nix stdenv by default	Anthony Wang
2025-04-10	Rebuild Python library too	Anthony Wang
[...]

Clone
https://git.unnamed.website/sdc