Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c++ library. Also includes samediff: a pytorch/tensorflow like library for running deep learn...
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.
Fast and efficient CSS optimizer for node.js and the Web
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
Source code of PyGAD, a Python 3 library for building the genetic algorithm and training machine learning algorithms (Keras & PyTorch).
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
- finite-elements
- c-plus-plus
- fem
- hpc
Official Repository for the Uni-Mol Series Methods
flybrainlabs native and WebAssembly simulation engines and browser mining.
libMesh github repository
Clinical Histopathology Imaging Evaluation Foundation Model
A Compositional Numeric Library for C++
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
[ICLR 2024] DNABERT-2: Efficient Foundation Model and Benchmark for Multi-Species Genome
- dataset
- dna
- dna-processing
- dna-training
A Python native dynamical system simulation framework in the block diagram paradigm.
- blockdiagram
- control-systems
- hierarchical-modeling
- nonlinear-dynamics
Pathology Language and Image Pre-Training (PLIP) is the first vision and language foundation model for Pathology AI (Nature Medicine). PLIP is a large-scale pre-trained model that can be used to extract visual and language features from pathology images and text description. The model is a fine-tuned version of the original CLIP model.