Ankh: Optimized Protein Language Model
Repository Index
47,133 repositories indexed
145–168 of 268 · Most stars
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
Java Constraint Programming solver
Allocators, I/O streams, math, geometry, image and audio processing for D
- utility-library
- dlang
- linear-algebra
- computational-geometry
Wide-Integer implements a generic C++ template for uint128_t, uint256_t, uint512_t, uint1024_t, etc.
- high-performance
- embedded-systems
- multiprecision
- numerical
:spider_web: Simple mesh generator inspired by distmesh.
- mesh
- finite-elements
- mathematics
- mesh-generation
A formalization of geometry in Coq based on Tarski's axiom system
Umbrella package of the 'spatstat' family................
- r
- spatial-analysis
- spatial-data
- spatstat
PyTorch Connectomics: segmentation toolbox for EM connectomics
- computer-vision
- neuroscience
- connectomics
- pytorch
A high-performance, high precision, zero allocation fixed-point decimal library for financial applications
- golang
- high-performance
- zero-allocation
- money
Cancer Imaging Phenomics Toolkit (CaPTk) is a software platform to perform image analysis and predictive modeling tasks. Documentation: https://cbica.github.io/CaPTk
- cancer-imaging-research
- radiomics
- radiomics-features
- machine-learning
Probabilistic cell segmentation for in situ spatial transcriptomics
Practical volume computation and sampling in high dimensions
- geometry
- statistics
- polyhedral-computations
- random-walk
A Network Integration Approach for Drug-Target Interaction Prediction
Wrapper for RDKit's RunReactants to improve stereochemistry handling
AI-based pathology predicts origins for cancers of unknown primary - Nature
- histology
- pathology
- wsi-images
- histopathology
The implementation code for "DAGAN: Deep De-Aliasing Generative Adversarial Networks for Fast Compressed Sensing MRI Reconstruction"
- generative-adversarial-network
- mri-reconstruction
- computer-vision
- deep-learning
ChemML is a machine learning and informatics program suite for the chemical and materials sciences.
- quantum-mechanics
- materials-informatics
- data-science
- machine-learning
Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.
An automatic code generator for nonlinear model predictive control (NMPC) and the continuation/GMRES method (C/GMRES) based numerical solvers for NMPC
- model-predictive-control
- nonlinear-model-predictive-control
- mpc
- nmpc
Open-source software for exploring and analyzing large, high-dimensional image-derived data.
- cellprofiler-analyst
- cellprofiler
- image-analysis
- machine-learning
Sparse matrix formats for linear algebra supporting scientific and machine learning applications
- go
- golang
- matrix
- scientific-computing
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq