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
77,353 visible repositories in the index
337–360 of 432 · 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
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
Graph data structures with multiple heterogeneous metadata for Graphs.jl.
- graph
- graphs
- metadata
- juliagraphs
Python package for analysis of multiomic single cell RNA-seq and ATAC-seq.
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 matrix package for common lisp building on work by Mark Hoemmen, Evan Monroig, Tamas Papp and Rif.
Research experiments exploring uncommon quant techniques.
- analysis
- jupyter-notebook
- python
- quant
A set of protocols for Arithmetic, Statistics and Logical operations
A command line weather app built using elixir
Machine learning for Analysis of Proteomics in Spatial biology - Nature Communications
- cell-annotation
- multiplexed-imaging
- mpif
Repository for paper scMulan: a multitask generative pre-trained language model for single-cell analysis.
- foundation-models
- gpt
- single-cell
C# math expression library with symbolic computation support
- csharp
- dotnet
- expression-parser
- math
Classification and Gradient-based Localization of Chest Radiographs using PyTorch.
- fine-tuning
- vgg16
- resnet18
- densenet121
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.
An Elixir implementation of the CONREC algorithm for topographic or isochrone maps.
- gis
- conrec
- map
- elixir
SIMD powered simple-math numerical operations on arrays for Common Lisp through CFFI [still experimental]
- lisp
- common-lisp
- scientific-computing
- simd
Adaptive Graph Attention Auto-encoder for Spatial Domain Identification of Spatial Transcriptomics
Tiny header-only C++17 library for lat/lng geometry: distance, bearing, area, point-in-polygon and path proximity
- cpp
- geometry
- geospatial
- gis
An extensible .NET genetic algorithm library for optimization and artificial intelligence - Evolutionary computation and complex problem solving made simple
- artificial-intelligence
- csharp
- dotnet
- evolutionary-algorithm
Efficient and expressive arrayed vector math library with multi-threading and CUDA support in Common Lisp.
Linear algebra library based on LAPACK
- lapack
- matrix
- crystal
- linear-algebra