Sign in

Repository Index

47,133 repositories indexed

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 164 · Most stars

Draco is a library for compressing and decompressing 3D geometric meshes and point clouds. It is intended to improve the storage and transmission of 3D graphics.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Simple MPL-2.0-licensed C++ geometry processing library.

  • geometry-processing

OHIF zero-footprint DICOM viewer and oncology specific Lesion Tracker, plus shared extension packages

  • nci-itcr
  • nci-qin
  • quantitative-imaging
  • imaging-informatics

Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.

  • differential-equations
  • differentialequations
  • julia
  • ode

DO NOT CHECK OUT THESE FILES FROM GITHUB UNLESS YOU KNOW WHAT YOU ARE DOING. (See below.)

a programming library with geometric algorithms

  • graphics-libraries
  • graphics-programming
  • mesh-generation
  • mesh-processing

Fast numerical array expression evaluator for Python, NumPy, Pandas, PyTables and more