Sign in

Repository Index

65,764 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–45 of 45 · Most stars

Ark -- Archetype-based Entity Component System (ECS) for Go.

  • ecs
  • entity-component-system
  • go
  • golang

Native R and Python sample-deletion robustness for omics: candidate certificates, minimum deletion bounds, Bioconductor model refits and donor-level pseudobulk

Interactive 2D wave optics simulator. Turn any image into a refractive scene, add sources, watch waves refract, diffract and interfere. Probes, intensity maps, video export.

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.

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

  • coq
  • mathcomp
  • ssreflect
  • tarjan-algorithm

This is a class module in beta state to implement computations with large integers and reals/rationals numbers, while proposing representation of numerical values as scientific notation, allowing to obtain several cohorts for the same number (a lot of fun!).

  • arithmetic
  • biginteger
  • biginteger-library
  • fractional