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.
A PyTorch Library for Accelerating 3D Deep Learning Research
Official repository for the Boltz biomolecular interaction models
- binding-prediction
- drug-discovery
- protein-structure
High-performance C++ library for multiphysics and multibody dynamics simulations
A Deep Learning Toolkit for DTI, Drug Property, PPI, DDI, Protein Function Prediction (Bioinformatics)
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
A PyTorch and TorchDrug based deep learning library for drug pair scoring. (KDD 2022)
Interactive network visualization in Python and Dash, powered by Cytoscape.js
- plotly-dash
- plotly
- dash
- cytoscape
Source code for "DeepDTA: deep drug-target binding affinity prediction"
- protein-ligand-interactions
- convolutional-neural-networks
MolTrans: Molecular Interaction Transformer for Drug Target Interaction Prediction (Bioinformatics)
A Network Integration Approach for Drug-Target Interaction Prediction
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
Learning cell communication from spatial graphs of cells
Rails frontend to The Genome Institute's drug gene interaction database.
NeoDTI: Neural integration of neighbor information from a heterogeneous network for discovering new drug-target interactions
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
Tool for precise, interactive, fast and scalable FISH spot detection
💬 Trace citation chains for any concept across research papers and render them as an interactive graph.
- academic-research
- bibliography
- citation-graph
- cli
Ruby client for interacting with the NASA (POWER) Agroclimatology Web Resource
- solar-radiation
- nasa
- agriculture
- ruby
Translated🗺️ Research Data Map — AI-driven global research visualization platform | Research Data Map with 250M+ papers