Sign in

Repository Index

61,275 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

1–24 of 27 · Most stars

The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control

  • optimal-control
  • model-predictive-control
  • ilqr
  • ilqg

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

  • embedded-optimization
  • nonconvex
  • model-predictive-control
  • rust-library

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.

  • arithmetic
  • integer-arithmetic
  • fixed-point-arithmetic
  • rational-arithmetic

TranslatedAntifouling coating evidence panel: formulation sandbox, route biofouling stress, literature bounds. Simulation ≠ measurement. Live: https://simulator.jassyhong.top

  • biofouling
  • formulation
  • antifouling
  • evidence-panel

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

NeuroAnatomy Toolbox: An R package for the (3D) visualisation and analysis of biological image data, especially tracings of single neurons.

  • r
  • neuroanatomy-toolbox
  • cran
  • neuron