Sign in

Repository Index

47,133 repositories indexed

Tag: Science and math
Tag
Filters

Filters

Clear all filters

1–24 of 35 · 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).

🎯 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