Sign in

Repository Index

72,862 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 460 · Most stars

✨ The fundamental numerical library for JavaScript and TypeScript. ✨                   ⭐️ Star to support our work!

  • javascript
  • stdlib
  • nodejs
  • library

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

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

A small, fast JavaScript library for arbitrary-precision decimal arithmetic.

  • bignumber
  • bigdecimal
  • javascript
  • arbitrary-precision

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

  • antenna
  • fft
  • python
  • radio