Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–24 of 131 · Most stars

:partly_sunny: The right way to check the weather

  • weather-information
  • weather-api
  • curl
  • weather

Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

  • sloccount
  • cloc
  • complexity
  • tokei

OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

  • blas
  • lapack
  • lapacke

Draco is a library for compressing and decompressing 3D geometric meshes and point clouds. It is intended to improve the storage and transmission of 3D graphics.

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