Lean formalizations of Putnam-like problems

NVIDIA curated collection of educational resources related to general purpose GPU programming.

A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.

Public repository for Agent Skills

Example xAct notebooks with common usage patterns

Blazingly fast EMRI waveforms

Lecture material used in my 8 hour long PhD course on "Numerical Methods for Partial Differential Equations"

Numerical relativity surrogate waveform in Jax

Lecture and Tutorial materials from the ICERM SciMLGW Workshop https://icerm.brown.edu/program/topical_workshop/tw-25-smlgwa

An open-source AI agent that brings the power of Gemini directly into your terminal.

18.303 - Linear PDEs course

Numerical code for computing the effective source for a point scalar charge

Defining eccentricity for GW astronomy

Dynamics of spinning black-hole binaries with python