CEED Library: Code for Efficient Extensible Discretizations
- ceed
- high-order
- exascale-computing
- api
Repository Index
47,133 repositories indexed
121–144 of 219 · Most stars
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
The RAW Complex.js is a complex numbers library written in JavaScript
- complex-numbers
- vector
- trigonometric-functions
- javascript
Simple and lightweight computational geometry library for .Net
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
Allocators, I/O streams, math, geometry, image and audio processing for D
- utility-library
- dlang
- linear-algebra
- computational-geometry
a unified framework for modeling chemically reactive systems
- chemical-equilibrium
- chemical-kinetics
- reactive-transport
- chemical-reactions
Mir (backports): Sparse tensors, Hoffman
- mir
- glas
- blas
- mir-glas
Free (GPL) Common Lisp data analysis library with emphasis on modularity and conceptual clarity.
Genetic Algorithms library written in Go / golang
A high-performance, high precision, zero allocation fixed-point decimal library for financial applications
- golang
- high-performance
- zero-allocation
- money
A general library for geometry operations of union, intersections, difference, and xor
- computational-geometry
- union
- intersection
- xor
Fast Math Library for Delphi
- delphi-rtl
- delphi-fastmath
- fastmath
- overloaded-operators
The RAW JavaScript Quaternion library
- quaternion
- angle
- conjugate
- math
A C# DICOM Library
- dicom
- medical-physics
- radiology
- radiation-oncology
The official NFFT library repository
- nfft
- fftw
- fourier-transform
- c
Dlang Core Library
- ndslice
- iterator
- range
- algorithms
Simple Features is a pure Go Implementation of the OpenGIS Simple Feature Access Specification
A Geometry library for Elixir that calculates spatial relationships between two geometries
- spatial-analysis
- geospatial
- gis
- geometry
The V Tensor Library
- v
- hacktoberfest
- autograd
- deep-learning
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
The Next Generation Logic Library
Numpy-like library in swift. (Multi-dimensional Array, ndarray, matrix and vector library)
- swift
- math
- ndimensional-arrays
- ndarray
A library of mechanised undecidability proofs in the Coq proof assistant.