Skip to content
#

decision-theory

Here are 112 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 skill: design judgment-assisted systems with TypeSafe Jev (System One). Maps Choice/Score/Noul onto decision theory, reranking, and routing. Composition algebra, question design, validation gates. MIT.

  • Updated Sep 21, 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 Sep 15, 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