A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Repository Index
55,640 visible repositories in the index
169–192 of 291 · Most stars
Batched NVIDIA MotionBricks: generate the motion of hundreds of characters in one model call.
- character-animation
- crowd-simulation
- motion-generation
- motionbricks
Mission-control style spacecraft tracker in Rust: live ISS, Dragon, Hubble, JWST and Roman orbits, passes and schedules. Retro CRT themes, and a mode for Raspberry Pi + composite CRT.
OpenBioLink is a resource and evaluation framework for evaluating link prediction models on heterogeneous biomedical graph data.
🏃 The go-to single-cell Foundation Model
- batch-correction
- cell-biology
- celltype-annotation
- denoising
LLM for Drug Editing, ICLR 2024
- chatgpt
- conversation
- drug
- drug-discovery
Code for "Predicting Cellular Responses to Novel Drug Perturbations at a Single-Cell Resolution", NeurIPS 2022.
- disentanglement
- drug-discovery
- genomics
- perturbation
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
Optimising chemical reactions using machine learning
- chemistry
- machine-learning
- optimization
- bayesian-optimization
Interpretable bilinear attention network with domain adaptation improves drug-target prediction.
SolarEstimator: pvlib-based solar estimation platform with Tkinter GUI
- activator
- application
- gui
- pvlib
Chemical 2D structure editor application/applet based on the Chemistry Development Kit
- blueobelisk
- java
- chemistry
FastGenericNew: high-performance generic instantiation for .NET, replacing Activator.CreateInstance<
- activator
- createinstance
- csharp
- csharp-library
Type-safe dependency injection singleton wrapper with lazy init and generic constructor support
- activator
- dependency-injection
- instantiation
- lazy-loading
Accurate and efficient spot detection for microscopy data
Numpy-like library in swift. (Multi-dimensional Array, ndarray, matrix and vector library)
- swift
- math
- ndimensional-arrays
- ndarray
RTree2D is a 2D immutable R-tree for ultra-fast nearest and intersection queries in plane and spherical coordinates
- scala
- rtree
- 2d
- str
A collection of tasks to probe the effectiveness of protein sequence representations in modeling aspects of protein design
- protein
- protein-sequences
- protein-design
- representation-learning
Easy link prediction tool
- python
- network-analysis
- link-prediction
- research
SIMD enhanced Array operations
A Lean formalization of the Stacks Project
Axon/Myelin segmentation using Deep Learning
- deep-learning
- machine-learning
- myelin
- axon
Clipping and geometric operations for spherical polygons.
- d3
- map
- polygon-clipping
- projection
a physics library wrapper for love2d