Stars
Automatically prove mathematical statements about your jax code in lean
Tools and libraries for writing Kokkos-enabled HPC C++ in E3SM ecosystem
Cloud model inversion using pythorch
Math library using HLSL syntax with multiplatform SIMD support
Adobe's reference implementation of the OpenPBR BSDF
Efficient rare event exploration with normalizing flows
ODIL (Optimizing a Discrete Loss) is a Python framework for solving inverse and data assimilation problems for partial differential equations.
differentiable (magneto)hydrodynamics for astrophysics in JAX
A collection of numerical schemes for advection (upwind, centered, MUSCL) with implicit time stepping through a Newton-Krylov method. Meant for testing purposes only.
small & simple 3D fluid simulators for scaling tests
A fully-differentiable compressible reacting flow solver based on JAX-AMR
A differentiable PDE solving framework for machine learning
🌋🐎 Project Island is an experimental, hot-reloading Vulkan Renderer for Linux and Windows, written in C/C++.
📈 Adaptive: parallel active learning of mathematical functions
Python package for visualising 2D vector fields
A clean customizable documentation theme for Sphinx
ALIEN is a CUDA-powered artificial life simulation program.
Schedule-Free Optimization in PyTorch
Dr.Jit — A Just-In-Time-Compiler for Differentiable Rendering
A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines