A computer algebra system written in pure Python
- python
- math
- computer-algebra
- science
Repository Index
71,372 visible repositories in the index
1–24 of 34 · Most stars
A modular geospatial engine written in JavaScript and TypeScript
- javascript
- algorithm
- computational-geometry
- geojson
Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
- sloccount
- cloc
- complexity
- tokei
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.
- proof-assistant
- coq
- theorem-proving
- dependent-types
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- tla
- specifications
- model-checking
- verification
C++ wrappers for SIMD intrinsics and parallelized, optimized mathematical functions (SSE, AVX, AVX512, NEON, SVE, WebAssembly, VSX, RISC-V))
- simd-intrinsics
- vectorization
- simd
- cpp
Mesh parameterization / UV unwrapping library
- mesh
- parameterization
- lightmap
- texture-atlas
library for nonlinear optimization, wrapping many algorithms for global and local, constrained or unconstrained, optimization
An open source mesh slicer framework for Unity3D Game Engine. Written in C#.
Read, modify and write DICOM files with python code
- dicom
- pydicom
- python
Computational Geometry Unity library with implementations of intersection algorithms, triangulations like delaunay, voronoi diagrams, polygon clipping, bezier curves, ear clipping, convex hulls, mesh simplification, etc
- unity3d
- computational-geometry
- voronoi
- intersections
SymEngine is a fast symbolic manipulation library, written in C++
- math
- computer-algebra
- c-plus-plus
Kratos Multiphysics (A.K.A Kratos) is a framework for building parallel multi-disciplinary simulation software. Modularity, extensibility and HPC are the main objectives. Kratos has BSD license and is written in C++ with extensive Python interface.
- kratos
- fem
- dem
- parallel-computing
Fast NumPy array functions written in C
- c
- python
- numpy
- fast
LibTomMath is a free open source portable number theoretic multiple-precision integer library written entirely in C.
- mpi
- libtommath
- c
- math
The RAW rational numbers library written in JavaScript
- fraction
- javascript
- math
- rational-numbers
⚗ A package useful for chemistry written in Python
- chemistry
- physical-chemistry
- chemical-kinetics
- chemical-formulas
FiPy is a Finite Volume PDE solver written in Python
- scientific-computing
- scientific-computing-with-python
- phase-field
- materials-science
2D/3D simplicial mesh generator interface for Python (Triangle, TetGen, gmsh)
- python
- mesh-generation
- scientific-computing
- triangle
🎯 A comprehensive gradient-free optimization framework written in Python
- metaheuristics
- optimization
- optimization-algorithms
- python
A high-performance engine for engineering math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
- matlab
- rust
- jit-compiler
- linear-algebra
The RAW Complex.js is a complex numbers library written in JavaScript
- complex-numbers
- vector
- trigonometric-functions
- javascript
Genetic Algorithms library written in Go / golang
Wrapper for RDKit's RunReactants to improve stereochemistry handling