Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Repository Index
47,133 repositories indexed
385–408 of 527 · Most stars
NeoDTI: Neural integration of neighbor information from a heterogeneous network for discovering new drug-target interactions
- computational-biology
- bioinformatics
- graph-convolution
- deep-learning
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
PyTorch implementation of the MIDAS algorithm for single-cell multimodal data integration (Nature Biotechnology 2024).
- deep-generative-model
- deep-learning
- single-cell-data-integration
- single-cell-multiomics
MAT is library for working with multi-dimensional arrays which supports efficient interfacing to foreign and CUDA code. BLAS and CUBLAS bindings are available.
An ActionScript 3 Geometry Library
Peax is a tool for interactive visual pattern search and exploration in epigenomic data based on unsupervised representation learning with autoencoders
- epigenomics
- pattern-search
- data-visualization
- interactive-machine-learning
A set of protocols for Arithmetic, Statistics and Logical operations
Machine learning for Analysis of Proteomics in Spatial biology - Nature Communications
- cell-annotation
- multiplexed-imaging
- mpif
Lua package that includes functions for Fast Fourier Transformations.
Repository for paper scMulan: a multitask generative pre-trained language model for single-cell analysis.
- foundation-models
- gpt
- single-cell
The framework for quantification of neuronal anatomy
- neuroscience
- neuroanatomy-toolbox
- imagej
- imagej2
Classification and Gradient-based Localization of Chest Radiographs using PyTorch.
- fine-tuning
- vgg16
- resnet18
- densenet121
Run scripts, explore your genome, and get personalized explanations — all in natural dialogue.
- analysis
- claude
- claudecode
- dna
C# math expression library with symbolic computation support
- csharp
- dotnet
- expression-parser
- math
An Erlang implementation of the R*-tree spacial data structure
Elixir library implementing a parallel matrix multiplication algorithm and other utilities for working with matrices. Used for benchmarking computationally intensive concurrent code.
common lisp library providing common math functions used in games
An Elixir implementation of the CONREC algorithm for topographic or isochrone maps.
- gis
- conrec
- map
- elixir
High-Dimensional Gene Expression and Morphology Profiles of Cells across 28,000 Genetic and Chemical Perturbations
SIMD powered simple-math numerical operations on arrays for Common Lisp through CFFI [still experimental]
- lisp
- common-lisp
- scientific-computing
- simd
Tool for precise, interactive, fast and scalable FISH spot detection
Adaptive Graph Attention Auto-encoder for Spatial Domain Identification of Spatial Transcriptomics