74,362 visible repositories in the index
1–24 of 28 · 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.
Swift Language Weather is an iOS weather app developed in Swift 4.
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
OpenVDB - Sparse volume data structure and tools
OCCT is an open-source software development platform for 3D CAD, CAM, CAE.
Public development project of the LAMMPS MD software package
This API provides programmatic access to the AlphaGenome model developed by Google DeepMind.
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
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.
V library to develop Artificial Intelligence and High-Performance Scientific Computations
NASA PVS Library of Formal Developments
Chemical 2D structure editor application/applet based on the Chemistry Development Kit
a simple vector library for Lua based on the PVector class from processing