47,133 repositories indexed
1–24 of 25 · 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.
2D JavaScript Physics Engine
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
The main repository for the development of the evolution game Thrive.
MacOS application to spoof / fake / mock your iOS / iPadOS or iPhoneSimulator device location. WatchOS and TvOS are partially supported.
Public development project of the LAMMPS MD software package
Central repository for tools, tutorials, resources, and documentation for robotics simulation in Unity.
Godot Jolt is a Godot extension that integrates the Jolt physics engine
A directory and analysis of the open source ecosystem in the areas of climate change, sustainable energy, biodiversity and natural resources. https://docs.getgrist.com/doc/gSscJkc5Rb1Rw45gh1o1Yc
LAPACK development repository
The development repository for the deal.II finite element library
🦄 The Enterprise™ programming language
My curated list of audio DSP and plugin development resources (Github fork)
Main development repository for Rigs of Rods soft-body physics simulator
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
Modern C++ quantum computing library
NOTE: development in stuntrally3 repo. 3D racing game based on VDrift and OGRE with own Track Editor. The main repository with Stunt Rally 2.x sources and data.
The Chemistry Development Kit
A 2D Soft Body and Rigid Body Physics Engine.
Box2D.NET - a C# port of Box2D, is a 2D physics engine for games, .NET, Unity3D, servers
Chemical 2D structure editor application/applet based on the Chemistry Development Kit
Kraft Physics Engine is an open source Object Pascal physics engine library that can be used in 3D games.