Sign in

Repository Index

47,133 repositories indexed

Tag: Science and math
Tag
Filters

Filters

Clear all filters

1–24 of 141 · Most stars

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.

Official repository for the Boltz biomolecular interaction models

  • binding-prediction
  • drug-discovery
  • protein-structure

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

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

A set of documented functions for simulating the performance of photovoltaic energy systems.

  • solar-energy
  • python
  • renewable-energy
  • renewables

A collection of GICP-based fast point cloud registration algorithms

  • point-cloud
  • pcl
  • gicp
  • icp

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.

Immutable in-memory R-tree and R*-tree implementations in Java with reactive api