PDF editor and manager for Windows, macOS and Linux, fast, offline and subscription-free.

MIRES: Recovering from Cyber Attacks in Mobile Applications with Backend-as-a-Service

Lecture notes on Distributed Computing that are publicly accessible.

21 Lessons, Get Started Building with Generative AI

System that automatically generates Reliable Broadcast algorithms with Reinforcement Learning