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 87 · Most stars

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

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.

Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.

  • mesa
  • agent-based-modeling
  • agent-based-simulation
  • simulation-framework

A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives

  • robotics
  • dynamics
  • analytical-derivatives
  • kinematics

Multiphysics Object Oriented Simulation Environment: A robust, modern, extendable, finite element/finite volume framework that excels at creating complex multiphysics simulations.

A research toolkit for particle swarm optimization in Python

  • particle-swarm-optimization
  • optimization-tools
  • pso
  • global-optimization

LibTomMath is a free open source portable number theoretic multiple-precision integer library written entirely in C.

DNABERT: pre-trained Bidirectional Encoder Representations from Transformers model for DNA-language in genome

  • kmer
  • dnabert-model
  • kmer-format
  • gpu

Robust Tetrahedral Meshing in the Wild.

  • geometry-processing
  • tetrahedral-meshing
  • surface-repair
  • 3d-triangulation

Firedrake is an automated system for the portable solution of partial differential equations using the finite element method (FEM)

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

  • swift
  • sunrise
  • sunset
  • ios

ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization.