Rudis: a mini Redis with HTTP interface implemented in Rustgithub.com/lorenzoc251 pointlorenzoc253 years ago