A Python implementation of LDFI.

Official CLI for the Dedalus platform.

Under the supervision of Prof. Matthew Browning, I was tasked to study the creation of a spectral solver for Boussinesq approximated fluid dynamics and then, using Dedalus, to study the effects of rotation and stratification on turbulent convection.

Official TypeScript SDK for the Dedalus platform.

A provenance tree generator for recursive Datalog with negation (and Dedalus).

Landing page for Dedalus Labs — built with Next.js and TypeScript.

Source code and data for the paper "Data Assimilation in Large Prandtl Rayleigh-Bénard Convection from Thermal Measurements" by A. Farhat, N. E. Glatt-Holtz, V. R. Martinez, S. A. McQuarrie, and J. P. Whitehead.

An iOS voice assistant that actually gets things done—offering smarter email, notes, search, and personalized actions using GPT-4, voice commands and real-time sync.

A persistent machine for your agent. One stateful microVM per Clerk account; chat history, files, learned skills, and cron all live on /home/machine. Hermes or OpenClaw, any provider key (Dedalus / Vercel Sandbox / Fly), 95 skills + 17 MCP services.

A stand-alone translator for Dedalus programs.

An oracle for distributed system failure preemption and avoidance.

Project for the datathon organized by Dedalus #Data4Health that we participated in and got the #2 place.

EDA

LaTeX source file for my Computer Science Thesis "Clinical Data Management Processes and Predictive Machine Learning Models Development for Diagnosis and Rehabilitation in the Cardiovascular Domain", which spans over 100 pages. Research was conducted in collaboration with the multinational company Dedalus

An input generation platform for testing distributed protocols.

Official Go SDK for the Dedalus platform