47,133 repositories indexed
1–15 of 15 · 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.
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
Public development project of the LAMMPS MD software package
LAPACK development repository
The development repository for the deal.II finite element library
GeneticSharp is a fast, extensible, multi-platform and multithreading C# Genetic Algorithm library that simplifies the development of applications using Genetic Algorithms (GAs).
Development tool for CAN bus simulation
A coupling library and ecosystem for partitioned multi-physics and multi-scale simulations, including surface and volume coupling.
Unknown Horizons Godot Engine Port
Qhull development for www.qhull.org -- Qhull 2020.2 (8.1-alpha1) at https://github.com/qhull/qhull/wiki
Modern C++ quantum computing library
The Chemistry Development Kit
Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.
Chemical 2D structure editor application/applet based on the Chemistry Development Kit
A collection of general utility and mathematical functions for GameMaker Studio 2 (Version 2.3).