A computational graph library for zero-knowledge proofs

Shell for compute cluster management

A custom Redis-like in-memory key-value store

Digitizing student details and payments