The public CGAL repository, see the README below
- cgal
- c-plus-plus
- geometry
- algorithms
85,081 visible repositories in the index
25–48 of 584 · Most stars
The public CGAL repository, see the README below
An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.
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.
ALIEN is a CUDA-powered artificial life simulation program.
A hardware-agnostic SDK for optimization problems: define a problem once, then lower it to any quantum or classical solver
The open-source AI research workbench for scientific research and agent workflows. Local-first, model-agnostic desktop app with extensible skills, MCP tools and connectors, Python/R execution and traceable artifacts for reproducible research on macOS, Windows and Linux.
Astronomy and astrophysics core library
The fastest and most memory efficient lattice Boltzmann CFD software, running on all GPUs and CPUs via OpenCL. Free for non-commercial use.
Imaging, analysis, and simulation software for radio interferometry
A Swift library that uses the Accelerate framework to provide high-performance functions for matrix math, digital signal processing, and image manipulation.
Official git repository for Biopython (originally converted from CVS)
Swift Language Weather is an iOS weather app developed in Swift 4.
A small, fast JavaScript library for arbitrary-precision decimal arithmetic.
A PyTorch Library for Accelerating 3D Deep Learning Research
Simple MPL-2.0-licensed C++ geometry processing library.
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
Browser-based ground station suite for celestial body, mission and satellite tracking, SDR reception, hardware control, and telemetry decoding
TranslatedDeepAnalyze is the first agentic LLM for autonomous data science. 🎈Your AI data analyst, automatically analyzes large amounts of data and generates professional analysis reports with one click!
A large scale non-linear optimization library
A contact solver for physics-based simulations involving 👚 shells, 🪵 solids, 🪢 rods, 🧱 rigid bodies and ⏳ sand.
Manipulation and analysis of geometric objects
A library for scientific machine learning and physics-informed learning
OHIF zero-footprint DICOM viewer and oncology specific Lesion Tracker, plus shared extension packages
ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations