The public CGAL repository, see the README below
- cgal
- c-plus-plus
- geometry
- algorithms
Repository Index
47,133 repositories indexed
25–48 of 529 · Most stars
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
A PyTorch Library for Accelerating 3D Deep Learning Research
- pytorch
- 3d-deep-learning
- neural-networks
- differentiable-rendering
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
- nisq
- quantum-algorithms
- quantum-computing
- cirq
Manipulation and analysis of geometric objects
Convert Claude Code or Codex into the most intelligent Deep Research Agent. Collect, search, and synthesize web research into a persistent, searchable wiki that builds on itself. Hosted API + MCP: hyperresearch.ai
- agents
- agentskills
- claude-code
- deep-research
OHIF zero-footprint DICOM viewer and oncology specific Lesion Tracker, plus shared extension packages
- nci-itcr
- nci-qin
- quantitative-imaging
- imaging-informatics
Official repository for the Boltz biomolecular interaction models
- binding-prediction
- drug-discovery
- protein-structure
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
- traffic
- simulation
- transport
Fast and efficient CSS optimizer for node.js and the Web
- css
- minification
- optimization
- css-optimizations
C++ implementation of the Python Numpy library
- python
- numpy
- c-plus-plus
- numerical-analysis
Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.
- mesa
- agent-based-modeling
- agent-based-simulation
- simulation-framework
3D visualization and mesh analysis for science and engineering
- vtk
- python
- visualization
- 3d
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
- robotics
- dynamics
- analytical-derivatives
- kinematics
Math.NET Numerics
- math
- numerics
- linear-algebra
- fsharp
C++ tensors with broadcasting and lazy computing
- c-plus-plus-14
- numpy
- multidimensional-arrays
- tensors
Bayesian optimization in PyTorch
PennyLane is an open-source quantum software platform for quantum computing, quantum machine learning, and quantum chemistry. Create meaningful quantum algorithms, from inspiration to implementation.
g2o: A General Framework for Graph Optimization
- g2o
- slam
- c-plus-plus
- graph-optimization
Trainable, memory-efficient, and GPU-friendly PyTorch reproduction of AlphaFold 2
- pytorch
- protein-structure
- alphafold2
Model-rocketry aerodynamics and trajectory simulation software
- aerospace
- flight-simulator
- java
- modeling
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
High-performance C++ library for multiphysics and multibody dynamics simulations
Public development project of the LAMMPS MD software package
- molecular-dynamics
- lammps
- simulation
- kokkos