47,133 repositories indexed
1–24 of 62 · Most stars
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.
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript
DirectXMath is an all inline SIMD C++ linear algebra library for use in games and graphics apps
Biological foundation modeling from molecular to genome scale
The Polygon Mesh Processing Library
Open Babel is a chemical toolbox designed to speak the many languages of chemical data.
Scientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments
flybrainlabs authority nodes, complete simulation replay, archives, and service APIs.
Scientific-grade astronomy routines for Python
OpenChem: Deep Learning toolkit for Computational Chemistry and Drug Design Research
A Go package for engineering organisms.
A flexible framework for solving PDEs with modern spectral methods.
ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization.
Molecular Processing Made Easy.
Generative biopolymer design with rich conditioning.
A Euclidean diffusion model for structure-based drug design.
A library provides spatial data and geometric algorithms
Code for the Nature Scientific Reports paper "Pathologist-level classification of histologic patterns on resected lung adenocarcinoma slides with deep neural networks." A sliding window framework for classification of high resolution whole-slide images, often microscopy or histopathology images.
skimpy is a light weight tool that provides summary statistics about variables in data frames within the console.
bert-loves-chemistry: a repository of HuggingFace models applied on chemical SMILES data for drug design, chemical modelling, etc.