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
85,578 visible repositories in the index
481–504 of 587 · Most stars
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
A simple, lightweight spatial hash for Lua
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.
Python package for analysis of multiomic single cell RNA-seq and ATAC-seq.
A open source ballistics calculator
- ballistics
- vala
- gtk3
- meson
Research experiments exploring uncommon quant techniques.
- analysis
- jupyter-notebook
- python
- quant
A command line weather app built using elixir
Machine learning for Analysis of Proteomics in Spatial biology - Nature Communications
- cell-annotation
- multiplexed-imaging
- mpif
A simple ffi-accelerated vector library for everyone
Repository for paper scMulan: a multitask generative pre-trained language model for single-cell analysis.
- foundation-models
- gpt
- single-cell
a simple vector library for Lua based on the PVector class from processing
- lua
- love2d
- vectors
- game-development
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
Classification and Gradient-based Localization of Chest Radiographs using PyTorch.
- fine-tuning
- vgg16
- resnet18
- densenet121
Elixir library implementing a parallel matrix multiplication algorithm and other utilities for working with matrices. Used for benchmarking computationally intensive concurrent code.
Minerva Story is an image viewer that is designed specifically to make it easy for non-expert users to interact with complex tissue images.
- minerva
- microscopy
- ome
- immunofluorescence
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
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.
OpenCL based GPU accelerated SPH fluid simulation library