Gazebo database of SDF models. This is a predecessor to https://app.gazebosim.org
- gazebo
- simulation
- robot-simulation
- robotics
Repository Index
54,641 visible repositories in the index
1–9 of 9 · Most stars
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
Sparse matrix formats for linear algebra supporting scientific and machine learning applications
- go
- golang
- matrix
- scientific-computing
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
Classification and Gradient-based Localization of Chest Radiographs using PyTorch.
- fine-tuning
- vgg16
- resnet18
- densenet121
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm