---
title: "Projects"
author: "Mario Brcic"
author_url: "https://mariobrcic.com/about-me/"
canonical_url: "https://mariobrcic.com/projects/"
summary: "Mario Brcic's open projects: the textbook Modern Algorithm Design with its Python, Rust and Lean code, and the AI Safety Formalization Atlas."
license: "all-rights-reserved"
---
> *Canonical HTML version: [https://mariobrcic.com/projects/](https://mariobrcic.com/projects/). © Mario Brcic. All rights reserved.*

# Projects

Two projects that run on the same idea: in an age of cheap implementation, the scarce skill is stating precisely what must hold, and checking that it does.

## Modern Algorithm Design

A textbook on designing algorithms from reusable primitives, and on asking precisely for what an algorithm must do. Two chapters are published so far.

- Book: https://modernalgorithmdesign.com
- Page: https://mariobrcic.com/modern-algorithm-design/
- Code: https://github.com/mbrcic/algodesign

## AI Safety Formalization Atlas

An open Lean 4 library of machine-checked AI-safety mathematics, with every result's source and scope on record.

- Page: https://mariobrcic.com/ai-safety-atlas/
- Repository: https://github.com/mbrcic/ai-safety-formalization-atlas
- Documentation: https://mbrcic.github.io/ai-safety-formalization-atlas/
- Software DOI: https://doi.org/10.5281/zenodo.21483033