Repository Index

formally verified category theory library

• category-theory
• formal-verification
• formal-proofs

Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.

• matlab
• rust
• jit-compiler
• linear-algebra

TriWild: Robust Triangulation with Curve Constraints

• traingulation
• meshing
• geometry-processing

Matrix Algebra proGrams In Common Lisp.

• common-lisp
• matrix-algebra
• linear-algebra

Formal proof of the Four Color Theorem [maintainer=@ybertot]

• coq
• ssreflect
• mathcomp
• four-color-theorem

Ankh: Optimized Protein Language Model

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

: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

• formalization
• coq
• geometry
• tarski-axiom

Umbrella package of the 'spatstat' family................

• r
• spatial-analysis
• spatial-data
• spatstat

PyTorch Connectomics: segmentation toolbox for EM connectomics

• computer-vision
• neuroscience
• connectomics
• pytorch

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

A Network Integration Approach for Drug-Target Interaction Prediction

Wrapper for RDKit's RunReactants to improve stereochemistry handling

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.

Open-source software for exploring and analyzing large, high-dimensional image-derived data.

• cellprofiler-analyst
• cellprofiler
• image-analysis
• machine-learning

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

• coq-library
• typeclasses
• mathematics
• coq

LLM for Drug Editing, ICLR 2024

• chatgpt
• conversation
• drug
• drug-discovery

TransformerCPI: Improving compound–protein interaction prediction by sequence-based deep learning with self-attention mechanism and label reversal experiments(BIOINFORMATICS 2020) https://doi.org/10.1093/bioinformatics/btaa524

• self-attention
• compound-protein-interaction
• transformercpi
• structure-free-virtual-sreening