A library of mechanised undecidability proofs in the Coq proof assistant.
Repository Index
47,133 repositories indexed
169–192 of 262 · Most stars
A collection of tasks to probe the effectiveness of protein sequence representations in modeling aspects of protein design
- protein
- protein-sequences
- protein-design
- representation-learning
SIMD enhanced Array operations
Auto-QChem is an automated workflow for the generation and storage of DFT calculations for organic molecules.
- cheminformatics
- dft-calculations
- automation
- feature
Axon/Myelin segmentation using Deep Learning
- deep-learning
- machine-learning
- myelin
- axon
Clipping and geometric operations for spherical polygons.
- d3
- map
- polygon-clipping
- projection
GeneCompass
Learning cell communication from spatial graphs of cells
- tensorflow
- gnn
- glm
- cvae
CASSIA: A Multi-Agent LLM-Based Single-Cell Cell Type Annotation Framework
- ai4science
- llm
- multiagent-systems
- prompt-engineering
Structural variant detection and association testing
Accelerated tensor operations and dynamic neural networks based on reverse mode automatic differentiation for every device that can run Swift - from watchOS to Linux
- deep-learning
- deep-neural-networks
- gradient-descent
- automatic-differentiation
means completeness and balancing, from the Arabic word الجبر
- algebra
- vector
- matrix
- scalar
Detecting cancers on mobile phones
🔟 Implementation of rational number arithmetic for .NET with arbitrary precision.
- arbitrary-precision
- biginteger
- bigrational
- c-sharp
A math and collisions library for Lua.
- math
- intersection
- lua
Toolbox for the analysis of smFISH images.
- pattern-classification
- rna-localization
- segmentation
- smfish
An Elixir library for performing 2D and 3D mathematics.
- elixir-lang
- matrices
- vector
- graphics
The Configurable Math Library
- vector-math
- expression-template
- cplusplus-11
- graphics
The Massively Parallel Quantum Chemistry program, MPQC, computes properties of atoms and molecules from first principles using the time independent Schrödinger equation.
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
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
An ActionScript 3 Geometry Library