Sign in

Repository Index

47,133 repositories indexed

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 53 · Most stars

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

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.

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

Vulkan/CUDA/HIP/OpenCL/Level Zero/Metal Fast Fourier Transform library

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

Lightweight, super fast C/C++ (& Python) library for sequence alignment using edit (Levenshtein) distance.

  • sequence-alignment
  • edit-distance
  • levehnstein-distance
  • library