🧠 Cognitive load is what matters

Code to automatically prove or verify estimates in analysis

Stan development repository. The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.

Non-uniform fast Fourier transform library of types 1,2,3 in dimensions 1,2,3

Programmable JIT Compilation and Optimization for C/C++ using LLVM

A MOOSE-based app to enable finite element problem setup using the MFEM FE library.

Rust wrapper for MFEM

Builds on top of the MFEM library to enable engineering design optimization based on finite-element simulations.

Add-On to NGSolve for unfitted finite element discretizations (XFEM, CutFEM, TraceFEM, etc...)

Interactive FEM Course

High-order Lagrangian Hydrodynamics Miniapp

Hephaestus is an MFEM-based library to enable configurable FE electromagnetics simulations.

Enabling 3D electromagnetics simulation in MOOSE, using the MFEM FE library.

Julia wrapper for MFEM

Code from PLDI '23 paper "Architecture-Preserving Provable Repair of Deep Neural Networks."

High-performance high-order finite element solver for hyperbolic conservation equations

aibo is an Emacs package that leverages OpenAI's chat API to bring ChatGPT into Emacs

Multi-GPU Framework for Voxel Grid Computations

Learning FPGA, yosys, nextpnr, and RISC-V

Launch MPI processes in iTerm2 tabs

Main repository for QMCPACK, an open-source production level many-body ab initio Quantum Monte Carlo code for computing the electronic structure of atoms, molecules, and solids with full performanc…

3D finite element solver for computational electromagnetics

UMT (Unstructured Mesh Transport) is an LLNL ASC proxy application (mini-app) that solves a thermal radiative transport equation using discrete ordinates (Sn). It utilizes an upstream corner balanc…

core services for the Flux resource management framework

ASCR FY23 Sustainability Proposal

Computational Biophysics for Medicine in 3D Slicer