The public CGAL repository, see the README below
- cgal
- c-plus-plus
- geometry
- algorithms
Repository Index
47,133 repositories indexed
25–48 of 375 · 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
Official git repository for Biopython (originally converted from CVS)
- python
- bioinformatics
- genomics
- biopython
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
- nisq
- quantum-algorithms
- quantum-computing
- cirq
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
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
C++ tensors with broadcasting and lazy computing
- c-plus-plus-14
- numpy
- multidimensional-arrays
- tensors
The official sources for the RDKit library
- cheminformatics
- c-plus-plus
- python
- rdkit
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.
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
DO NOT CHECK OUT THESE FILES FROM GITHUB UNLESS YOU KNOW WHAT YOU ARE DOING. (See below.)
NSGA2, NSGA3, R-NSGA3, MOEAD, Genetic Algorithms (GA), Differential Evolution (DE), CMAES, PSO
- optimization
- multi-objective-optimization
- nsga2
- nsga3
Multi-dimensional arrays (tensors) and numerical definitions for Elixir
Multi-platform, free open source software for visualization and image computing.
- medical-imaging
- vtk
- itk
- python
Exploit chain for PS5 7.00 - 13.60
The fastest and smallest JavaScript polygon triangulation library for your WebGL apps
- triangulation
- tessellation
- polygon
- algorithm
a programming library with geometric algorithms
- graphics-libraries
- graphics-programming
- mesh-generation
- mesh-processing
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
Multiphysics Object Oriented Simulation Environment: A robust, modern, extendable, finite element/finite volume framework that excels at creating complex multiphysics simulations.
- multiphysics
- simulation
- fem
- finite-elements