Florian Stecker florian
0 Followers · 0 Following
  • Joined on 2022-06-12
Repositories
14
 Projects Packages Public Activity Starred Repositories
florian pushed to main at florian/kvstore 2025-10-13 17:04:38 +00:00
3fb5868dd4 estimate min height
florian pushed to main at florian/kvstore 2025-10-12 03:24:50 +00:00
f2ebb049e4 add more output formats
florian pushed to main at florian/kvstore 2025-10-11 20:46:53 +00:00
279fea7276 clean up the code a little
florian pushed to main at florian/kvstore 2025-10-11 20:37:43 +00:00
56e13f8000 clean up the code a little
florian pushed to main at florian/kvstore 2025-10-11 18:54:32 +00:00
1c9134d87f add CLI
florian pushed to main at florian/kvstore 2025-10-11 18:54:13 +00:00
372d461113 add CLI interface
1957cec35a rename to iavltree.py
a9b201c04d performance measurements and iterator improvments
Compare 3 commits »
florian pushed to main at florian/kvstore 2025-10-08 13:04:32 +00:00
e3325eac3f put functions in separate file and some cleanup
florian pushed to main at florian/kvstore 2025-10-08 03:09:39 +00:00
174b33a099 iterate through tree
florian created branch main in florian/kvstore 2025-10-06 03:13:30 +00:00
florian pushed to main at florian/kvstore 2025-10-06 03:13:30 +00:00
bc7cb5650f read IAVL tree
florian created repository florian/kvstore 2025-10-06 03:13:00 +00:00
florian created branch main in florian/loophole_rs 2025-08-24 22:24:26 +00:00
florian pushed to main at florian/loophole_rs 2025-08-24 22:24:26 +00:00
d5680f9a7f initial version
florian created repository florian/loophole_rs 2025-08-24 22:23:56 +00:00
florian pushed to master at florian/enumerate-balanced-ideals 2025-03-08 16:56:33 +00:00
0f23a4b477 color principal ideals
florian pushed to main at florian/minipodplayer 2025-01-02 21:41:27 +00:00
143fa6383e Parallel sync
florian pushed to main at florian/minipodplayer 2025-01-02 21:37:25 +00:00
20771b1e04 Parallel sync
florian created branch main in florian/minipodplayer 2025-01-01 12:54:56 +00:00
florian pushed to main at florian/minipodplayer 2025-01-01 12:54:56 +00:00
13dc837a52 Add description preview
94d3b71cdd Simple podcast player
florian created repository florian/minipodplayer 2025-01-01 12:54:23 +00:00