Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

169–192 of 287 · Most stars

Translated麦门双预算军师 (Maimen Dual-Budget Strategist) · McDonald's China MCP contest entry | Dual-budget (money + calories) McDonald's China MCP Agent Skill with 3-tier meal plans, coupon math and a holographic persona card. One budget for money and one for calories; a meal is only put together when it passes both gates at once: 88,788 combinations are exhaustively searched locally, giving best-value / most substantial / most balanced tiers and the price after coupons.

:spider_web: Compute interesting points, areas, and volumes in simplex meshes of any dimension.

A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.

Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.

  • supercollider
  • lisp
  • synth
  • sequencer

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

A Rocq formalization of information theory and linear error-correcting codes

  • information-theory
  • error-correcting-codes
  • probability
  • convexity