Sign in

Repository Index

47,133 repositories indexed

Tag: Science and math
Tag
Filters

Filters

Clear all filters

1–24 of 47 · 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

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

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).