Sign in

Repository Index

47,133 repositories indexed

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

25–44 of 44 · Most stars

Mission-control style spacecraft tracker in Rust: live ISS, Dragon, Hubble, JWST and Roman orbits, passes and schedules. Retro CRT themes, and a mode for Raspberry Pi + composite CRT.

Accelerated tensor operations and dynamic neural networks based on reverse mode automatic differentiation for every device that can run Swift - from watchOS to Linux

The Massively Parallel Quantum Chemistry program, MPQC, computes properties of atoms and molecules from first principles using the time independent Schrödinger equation.

Python package for analysis of multiomic single cell RNA-seq and ATAC-seq.

Deciphering cell-cell communication from spatially resolved transcriptomic data at single-cell resolution with subgraph-based attentional graph neural network

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

  • coq
  • complex-analysis
  • real-analysis

This is a weather app for the MacOSX menubar that the user can easily click to find the weather. Uses CSS based design and gets data from OpenWeatherMap.

Mutta Puffs is a sports league scheduler automated on thousands of computers from decentralized market of computational power in Golem.