Sign in

Repository Index

47,133 repositories indexed

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 107 · Most stars

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Genetic Algorithm, Particle Swarm Optimization, Simulated Annealing, Ant Colony Optimization Algorithm,Immune Algorithm, Artificial Fish Swarm Algorithm, Differential Evolution and TSP(Traveling salesman)

  • genetic-algorithm
  • pso
  • particle-swarm-optimization
  • tsp

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.

Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.

  • mesa
  • agent-based-modeling
  • agent-based-simulation
  • simulation-framework

A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives

  • robotics
  • dynamics
  • analytical-derivatives
  • kinematics

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.

  • differential-equations
  • differentialequations
  • julia
  • ode

a programming library with geometric algorithms

  • graphics-libraries
  • graphics-programming
  • mesh-generation
  • mesh-processing

library for nonlinear optimization, wrapping many algorithms for global and local, constrained or unconstrained, optimization

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 Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control

  • optimal-control
  • model-predictive-control
  • ilqr
  • ilqg

A set of documented functions for simulating the performance of photovoltaic energy systems.

  • solar-energy
  • python
  • renewable-energy
  • renewables