47,133 repositories indexed
1–24 of 36 · 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
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.
A Swift micro library for generating Sunrise and Sunset times on device, requiring no network access.
The Chemistry Development Kit
YARP - Yet Another Robot Platform
Fully hackable text editor developed for exact sciences with built-in KaTeX and AsciiMath support. Extensible via plugins and themes. Exportable as HTML, PDF and GFM.
MoniGo is a performance monitoring library for Go apps, offering real-time insights into service-level and function-level metrics. With an intuitive UI, it enables developers to track and optimize performance. Get your Go app's dashboard up in just 10 seconds!
V library to develop Artificial Intelligence and High-Performance Scientific Computations
🔐 Library for developing secure, decentralized, anonymous and quantum-resistant networks in Go language
Ark -- Archetype-based Entity Component System (ECS) for Go.
A 2D Soft Body and Rigid Body Physics Engine.