Sign in

Repository Index

47,133 repositories indexed

Tag: Science and math
Tag
Filters

Filters

Clear all filters

25–48 of 680 · Most stars

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

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

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.

A JavaScript library for arbitrary-precision decimal and non-decimal arithmetic

  • bignumber
  • javascript
  • arbitrary-precision
  • decimal-places

🔩 Like builtins, but boltons. 250+ constructs, recipes, and snippets which extend (and rely on nothing but) the Python standard library. Nothing like Michael Bolton.

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

Apache KIE (Knowledge Is Everything) is the home of Drools, OptaPlanner, jBPM, and Kogito.

  • rule-engine
  • java
  • dmn
  • hacktoberfest

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.