Sign in

Repository Index

47,133 repositories indexed

Tag: Science and math
Tag
Filters

Filters

Clear all filters

1–24 of 38 · Most stars

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.

Linear algebra, eigenvalues, FFT, Bessel, elliptic, orthogonal polys, geometry, NURBS, numerical quadrature, 3D transfinite interpolation, random numbers, Mersenne twister, probability distributions, optimisation, differential equations.

The development repository for the deal.II finite element library

  • finite-elements
  • c-plus-plus
  • fem
  • hpc

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

A coupling library and ecosystem for partitioned multi-physics and multi-scale simulations, including surface and volume coupling.

  • multi-physics
  • fluid-structure-interaction
  • high-performance-computing
  • conjugate-heat-transfer

Qhull development for www.qhull.org -- Qhull 2020.2 (8.1-alpha1) at https://github.com/qhull/qhull/wiki

A Swift micro library for generating Sunrise and Sunset times on device, requiring no network access.

  • swift
  • sunrise
  • sunset
  • ios

Object detection system using deformable part models (DPMs) and latent SVM (voc-release5). You may want to use the latest tarball on my website. The github code may include code changes that have not been tested as thoroughly and will not necessarily reproduce the results on the website.

Cirno's Perfect Math Library: Just about everything you need for 2D/3D games. Hopefully.