47,133 repositories indexed
1–24 of 33 · 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
An implementation of chunked, compressed, N-dimensional arrays for Python.
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
Validated, scalable, community developed variant calling, RNA-seq and small RNA analysis
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
:1234: Bits, bytes and general-purpose calculator
Modern C++ quantum computing library
A Swift micro library for generating Sunrise and Sunset times on device, requiring no network access.
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.
A C++14-compatible physical units library with no dependencies and a single-file delivery option. Emphasis on safety, accessibility, performance, and developer experience.
A simple script for fracturing polygons. Also adds nice helper functions for polygons like calculateArea, triangulate, getRandomPointsInPolygon, getBoundingRect)
V library to develop Artificial Intelligence and High-Performance Scientific Computations
Ark -- Archetype-based Entity Component System (ECS) for Go.
Box2D.NET - a C# port of Box2D, is a 2D physics engine for games, .NET, Unity3D, servers
Simple Physics Library written in Haxe
Chemical 2D structure editor application/applet based on the Chemistry Development Kit