NumPy & SciPy for GPU
- cuda
- cudnn
- cublas
- cusolver
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
CUDA Templates and Python DSLs for High-Performance Linear Algebra
- cuda
- deep-learning
- deep-learning-library
- cpp
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
The fastest and smallest JavaScript polygon triangulation library for your WebGL apps
- triangulation
- tessellation
- polygon
- algorithm
Scientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments
Python-centric Cookiecutter for Molecular Computational Chemistry Packages
- cookiecutter
- python-packages
- molecular-sciences
- conda-environment
A simple script for fracturing polygons. Also adds nice helper functions for polygons like calculateArea, triangulate, getRandomPointsInPolygon, getBoundingRect)
- gdscript
- polygon2d-fracture
- godot-engine
- godot
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
Hand-ported (near 1:1) V version of https://github.com/mapbox/earcut