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

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

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.

Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.

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

Model-rocketry aerodynamics and trajectory simulation software

  • aerospace
  • flight-simulator
  • java
  • modeling

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

The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control

  • optimal-control
  • model-predictive-control
  • ilqr
  • ilqg

Open-source GNSS + inertial navigation, sensor fusion simulator. Motion trajectory generator, sensor models, and navigation

  • inertial-navigation-systems
  • gnss
  • gps
  • imu

Open Babel is a chemical toolbox designed to speak the many languages of chemical data.

  • chemistry
  • chemical-data
  • cheminformatics
  • c-plus-plus

Kratos Multiphysics (A.K.A Kratos) is a framework for building parallel multi-disciplinary simulation software. Modularity, extensibility and HPC are the main objectives. Kratos has BSD license and is written in C++ with extensive Python interface.