An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Repository Index
47,133 repositories indexed
145–168 of 525 · Most stars
3D medical imaging reconstruction software
- dicom
- dicom-viewer
- magnetic-resonance-imaging
- medical-image-processing
LibTomMath is a free open source portable number theoretic multiple-precision integer library written entirely in C.
- mpi
- libtommath
- c
- math
Python package for graph neural networks in chemistry and biology
- deep-learning
- graph-neural-networks
- dgl
- cheminformatics
Official implementation for HyenaDNA, a long-range genomic foundation model built with Hyena
- foundation-models
- genomics
- language-models
MySQL Spatial Data Extension integration with Laravel.
A PyTorch and TorchDrug based deep learning library for drug pair scoring. (KDD 2022)
- deep-learning
- pytorch
- deep-chemistry
- graph-neural-network
:triangular_ruler: Numerical integration (quadrature, cubature) in Python
- quadrature
- integration
- mathematics
- engineering
DNABERT: pre-trained Bidirectional Encoder Representations from Transformers model for DNA-language in genome
- kmer
- dnabert-model
- kmer-format
- gpu
Throw in the towel.
- dotnet
- towel
- csharp
- library
libMesh github repository
- fem
- finite-element-methods
- simulation
- parallel
OpenChem: Deep Learning toolkit for Computational Chemistry and Drug Design Research
Simultaneous Nuclear Instance Segmentation and Classification in H&E Histology Images.
Tasks Assessing Protein Embeddings (TAPE), a set of five biologically relevant semi-supervised learning tasks spread across different domains of protein biology.
- deep-learning
- protein-sequences
- protein-structure
- semi-supervised-learning
An open library for the analysis of molecular dynamics trajectories
- molecular-dynamics
- python
- mdtraj
- rmsd
A Go package for engineering organisms.
- synthetic-biology
- synbio
- genetic-engineering
- molecular-biology
VexCL is a C++ vector expression template library for OpenCL/CUDA/OpenMP
- opencl
- cuda
- c-plus-plus
- gpgpu
Chainer Chemistry: A Library for Deep Learning in Biology and Chemistry
RBDL is a C++ library that contains some essential and efficient rigid body dynamics algorithms such as the Articulated Body Algorithm (ABA) for forward dynamics, Recursive Newton-Euler Algorithm (RNEA) for inverse dynamics, the Composite Rigid Body Algorithm (CRBA) for the efficient computation of the joint space inertia matrix and is also able to compute forward dynamics with external contact constraints and collision impulses. Furthermore it has some basic support for forward and inverse kinematics.
- articulated-body-algorithm
- inverse-dynamics
- forward-dynamics
- multi-body-dynamics
:1234: Bits, bytes and general-purpose calculator
- storage
- storage-unit-converter
- command-line
- standalone
A Compositional Numeric Library for C++
- cmake
- cpp
- fixed-point
- safe
The RAW rational numbers library written in JavaScript
- fraction
- javascript
- math
- rational-numbers
Flutter weather application with beautiful UI and UX.
Generation of protein sequences and evolutionary alignments via discrete diffusion models
- discrete-diffusion
- generative-model
- multiple-sequence-alignment
- protein-sequences