
-
University of North Carolina
- Chapel Hill, NC
Stars
Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
Fine-grained parallelism with sub-nanosecond overhead in Zig
Cardiac Atrial Cell (Courtemanche et al 1998) (C++)
These are notes from study sessions covering topics related to IBAMR (ex: coding concepts, IBAMR algorithms, general numerical PDEs).
Modern C++ Programming Course (C++03/11/14/17/20/23/26)
Digitization of the Garamond shown on the Egenolff-Berner specimen
ADflow is a finite volume RANS solver tailored for gradient-based aerodynamic design optimization.
Collection of Fluid Structure Interaction codes, used for one of my PhD courses
Structured Adaptive Mesh Refinement Application Infrastructure - a scalable C++ framework for block-structured AMR application development
Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.
Massively parallel FEM code for phase-field for fracture by Dolbow Lab at Duke University
Pure Python solver for the multi-way partition problem
Performance-portable, length-agnostic SIMD with runtime dispatch
Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.
The Sandia Engineering Analysis Code Access System (SEACAS) is a suite of preprocessing, postprocessing, translation, and utility applications supporting finite element analysis software using the …
Pottery - A container and algorithm template library in C