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–21 of 21 · 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

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

Source code for "DeepDTA: deep drug-target binding affinity prediction"

  • protein-ligand-interactions
  • convolutional-neural-networks

TransformerCPI: Improving compound–protein interaction prediction by sequence-based deep learning with self-attention mechanism and label reversal experiments(BIOINFORMATICS 2020) https://doi.org/10.1093/bioinformatics/btaa524

  • self-attention
  • compound-protein-interaction
  • transformercpi
  • structure-free-virtual-sreening

Rails frontend to The Genome Institute's drug gene interaction database.

Peax is a tool for interactive visual pattern search and exploration in epigenomic data based on unsupervised representation learning with autoencoders

Minerva Story is an image viewer that is designed specifically to make it easy for non-expert users to interact with complex tissue images.

  • minerva
  • microscopy
  • ome
  • immunofluorescence

💬 Trace citation chains for any concept across research papers and render them as an interactive graph.

  • academic-research
  • bibliography
  • citation-graph
  • cli