47,133 repositories indexed
1–8 of 8 · 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.
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.
A library provides spatial data and geometric algorithms
skimpy is a light weight tool that provides summary statistics about variables in data frames within the console.
Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.
A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.
DetecDiv provides a comprehensive set of tools to analyze time microscopy images using deep learning methods. The software structure is such that data can be processed either at the command line or using a graphical user-interface. Detecdiv classification models include : image classification and regression, semantic segmentation, LSTM networks to analyze data and image timeseries.