A Lean formalization of the Classification of Finite Simple Groups
Repository Index
80,339 visible repositories in the index
169–192 of 243 · Most stars
OpenBioLink is a resource and evaluation framework for evaluating link prediction models on heterogeneous biomedical graph data.
A framework for high-performance domain decomposition methods.
- c-plus-plus
- linear-algebra
- python
- fortran
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
Chemical 2D structure editor application/applet based on the Chemistry Development Kit
- blueobelisk
- java
- chemistry
SolarEstimator: pvlib-based solar estimation platform with Tkinter GUI
- activator
- application
- gui
- pvlib
⚡ Open-source software for deep learning-based digital pathology
- deep-learning
- machine-learning
- digital-pathology
- computational-pathology
Python package for image-based profiling
- cytominer
- microscopy
- morphological-profiling
- python
RTree2D is a 2D immutable R-tree for ultra-fast nearest and intersection queries in plane and spherical coordinates
- scala
- rtree
- 2d
- str
Clipping and geometric operations for spherical polygons.
- d3
- map
- polygon-clipping
- projection
Learning cell communication from spatial graphs of cells
- tensorflow
- gnn
- glm
- cvae
:dart: Accurate sums and dot products for Python.
- mathematics
- numerical-methods
- engineering
- accuracy
hsolve：电磁仿真大规模非正定厄密特征值求解。Certified shift-invert eigensolver for large sparse Hermitian (indefinite, generalized) eigenproblems from EM simulation: MUMPS LDLᵀ + block Krylov-Schur + Sylvester-inertia completeness certificate.
- computational-electromagnetics
- cpp17
- eigensolver
- eigenvalues
A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.
- mathematical-modelling
- automatic-differentiation
- mathematics
- math
Cumo (pronounced like "koomo") is CUDA aware numerical library whose interface is highly compatible with Ruby Numo
- ruby
- cuda
- numo
- scicentific-computing
Data Access Client for Global Surface Summary of the Day (GSOD) Weather Written in R
- r
- weather-data
- gsod
- ncdc
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
Toolbox for the analysis of smFISH images.
- pattern-classification
- rna-localization
- segmentation
- smfish
TypeDB Bio: Biomedical Knowledge Graph
- bioinformatics
- knowledge-graph
- knowledge-base
- drug-discovery
python functions for simulating optical transfer functions
- microscopy
- numpy
NeuroAnatomy Toolbox: An R package for the (3D) visualisation and analysis of biological image data, especially tracings of single neurons.
- r
- neuroanatomy-toolbox
- cran
- neuron
Fast detection of repackaged Android applications based on the comparison of resource files included into the package.
- android
- android-security
- repackaging-detection
- java
A open source ballistics calculator
- ballistics
- vala
- gtk3
- meson