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

🔩 Like builtins, but boltons. 250+ constructs, recipes, and snippets which extend (and rely on nothing but) the Python standard library. Nothing like Michael Bolton.

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

Public/backup repository of the GROMACS molecular simulation toolkit. Please do not mine the metadata blindly; we use https://gitlab.com/gromacs/gromacs for code review and issue tracking.

An open library for the analysis of molecular dynamics trajectories

  • molecular-dynamics
  • python
  • mdtraj
  • rmsd

A Go package for engineering organisms.

  • synthetic-biology
  • synbio
  • genetic-engineering
  • molecular-biology

RBDL is a C++ library that contains some essential and efficient rigid body dynamics algorithms such as the Articulated Body Algorithm (ABA) for forward dynamics, Recursive Newton-Euler Algorithm (RNEA) for inverse dynamics, the Composite Rigid Body Algorithm (CRBA) for the efficient computation of the joint space inertia matrix and is also able to compute forward dynamics with external contact constraints and collision impulses. Furthermore it has some basic support for forward and inverse kinematics.

  • articulated-body-algorithm
  • inverse-dynamics
  • forward-dynamics
  • multi-body-dynamics

Python-centric Cookiecutter for Molecular Computational Chemistry Packages

  • cookiecutter
  • python-packages
  • molecular-sciences
  • conda-environment

Universal cheminformatics toolkit, utilities and database search tools