Sign in

Repository Index

77,852 visible repositories in the index

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

25–48 of 627 · 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.

The open-source AI research workbench for scientific research and agent workflows. Local-first, model-agnostic desktop app with extensible skills, MCP tools and connectors, Python/R execution and traceable artifacts for reproducible research on macOS, Windows and Linux.

  • ai-for-science
  • local-first
  • reproducible-research
  • open-science

The fastest and most memory efficient lattice Boltzmann CFD software, running on all GPUs and CPUs via OpenCL. Free for non-commercial use.

  • cfd
  • computational-fluid-dynamics
  • gpu
  • gpu-computing

A Swift library that uses the Accelerate framework to provide high-performance functions for matrix math, digital signal processing, and image manipulation.

  • swift
  • accelerate
  • math
  • arithmetic

Browser-based ground station suite for celestial body, mission and satellite tracking, SDR reception, hardware control, and telemetry decoding

  • antenna
  • fft
  • python
  • radio

A large scale non-linear optimization library

  • c-plus-plus
  • numerical-optimization
  • nonlinear-optimization-algorithms
  • nonlinear-programming