Mario Beltrán's OSS and side projects