47,133 repositories indexed
1–15 of 15 · 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.
A Python library for quantum programming using Quil.
Fellow Oak DICOM for .NET, .NET Core, Universal Windows, Android, iOS, Mono and Unity
A Deep Learning Toolkit for DTI, Drug Property, PPI, DDI, Protein Function Prediction (Bioinformatics)
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
A simple script for fracturing polygons. Also adds nice helper functions for polygons like calculateArea, triangulate, getRandomPointsInPolygon, getBoundingRect)
The official implementation of 3D Equivariant Diffusion for Target-Aware Molecule Generation and Affinity Prediction (ICLR 2023)
GraphDTA: Predicting drug-target binding affinity with graph neural networks
Source code for "DeepDTA: deep drug-target binding affinity prediction"
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
Interpretable bilinear attention network with domain adaptation improves drug-target prediction.
NeoDTI: Neural integration of neighbor information from a heterogeneous network for discovering new drug-target interactions
Run scripts, explore your genome, and get personalized explanations — all in natural dialogue.