47,133 repositories indexed
1–22 of 22 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
3D visualization and mesh analysis for science and engineering
Multi-dimensional arrays (tensors) and numerical definitions for Elixir
Multiphysics Object Oriented Simulation Environment: A robust, modern, extendable, finite element/finite volume framework that excels at creating complex multiphysics simulations.
Lightweight, general, scalable C++ library for finite element methods
A python module for scientific analysis of 3D data based on VTK and Numpy
Linear algebra, eigenvalues, FFT, Bessel, elliptic, orthogonal polys, geometry, NURBS, numerical quadrature, 3D transfinite interpolation, random numbers, Mersenne twister, probability distributions, optimisation, differential equations.
The development repository for the deal.II finite element library
libMesh github repository
Firedrake is an automated system for the portable solution of partial differential equations using the finite element method (FEM)
Simple finite element assemblers
FiPy is a Finite Volume PDE solver written in Python
Module for statistical learning, with a particular emphasis on time-dependent modelling
Main yt repository
The official implementation of 3D Equivariant Diffusion for Target-Aware Molecule Generation and Affinity Prediction (ICLR 2023)
GraphDTA: Predicting drug-target binding affinity with graph neural networks
Source code for "DeepDTA: deep drug-target binding affinity prediction"
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
Schema and generated objects for biolink data model and upper ontology
:spider_web: Simple mesh generator inspired by distmesh.
OFF, Open source Finite volume Fluid dynamics code
ODE system solver made simple. For IVPs (initial value problems).