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 40 · Most stars

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.

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

  • robotics
  • dynamics
  • analytical-derivatives
  • kinematics

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

A collection of GICP-based fast point cloud registration algorithms

  • point-cloud
  • pcl
  • gicp
  • icp

A research toolkit for particle swarm optimization in Python

  • particle-swarm-optimization
  • optimization-tools
  • pso
  • global-optimization

GeneticSharp is a fast, extensible, multi-platform and multithreading C# Genetic Algorithm library that simplifies the development of applications using Genetic Algorithms (GAs).

RBDL is a C++ library that contains some essential and efficient rigid body dynamics algorithms such as the Articulated Body Algorithm (ABA) for forward dynamics, Recursive Newton-Euler Algorithm (RNEA) for inverse dynamics, the Composite Rigid Body Algorithm (CRBA) for the efficient computation of the joint space inertia matrix and is also able to compute forward dynamics with external contact constraints and collision impulses. Furthermore it has some basic support for forward and inverse kinematics.

  • articulated-body-algorithm
  • inverse-dynamics
  • forward-dynamics
  • multi-body-dynamics

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 comprehensive gradient-free optimization framework written in Python

A Python platform to perform parallel computations of optimisation tasks (global and local) via the asynchronous generalized island model.

  • optimization
  • optimization-algorithms
  • optimization-methods
  • optimization-problem