GitHub Trending repo Repositories 12h ago

lanyonai/AdvectionDiffusion: End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.

by lanyonai

End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.

Read Original

Metadata

Stars
2
Forks
2
Language
C
Watchers
2
Open Issues
1

Related

GitHub Trending repo 9h ago

ramyadharshinimurugaprakash-commits/Titanic-Survival-Prediction-Random-Forest: A machine learning project that predicts passenger survival on the Titanic using the Random Forest Classifier. The project includes data preprocessing, label encoding, feature scaling, model training, prediction, and performance evaluation using Python and Scikit-learn.

A machine learning project that predicts passenger survival on the Titanic using the Random Forest Classifier. The project includes data preprocessing, label encoding, feature scal...

39