Skip to content
#

decision-theory

Here are 121 public repositories matching this topic...

A systems-thinking essay arguing that most optimization quietly trades away buffers, slack, and resilience to make present metrics look better. It reframes efficiency as borrowing stability from the future, and shows how education, workforce, infrastructure, markets, and hardware all get optimized into fragility.

  • Updated Dec 16, 2025

Agent skills for designing, training, evaluating and improving application-specific decision systems. Primitive/model selection, data assembly, export/reload and bounded hill climbing. TypeSafe Jev is the default hosted exemplar; independent of TypeSafe.

  • Updated Sep 28, 2026
  • Python

Machine-checked Lean 4 / Mathlib formalization of Ismail's Primitives — six structural primitives proven necessary, mutually independent, and sequentially linked for sequential decision-making under uncertainty. 0 sorry · 0 axiom · ~12,700 lines.

  • Updated Oct 1, 2026
  • Lean

🧮 🔢 �� Projects based in Introduction to Operational Research Labs. This projects was built using Jupyter Notebook, iPython, Python, Anaconda, Spyder IDE, JetBrains PyCharm and MATLAB. This repository it's based in some practical lab exercises and examples related with Introduction to Operational Research, using some software and libraries like M…

  • Updated Sep 18, 2020
  • Jupyter Notebook

Add this topic to your repo

To associate your repository with the decision-theory topic, visit your repo's landing page and select "manage topics."

Learn more