# Applications


Application examples are full modules rather than isolated snippets.
They expose ordinary Nix APIs, include prose walkthroughs, and provide
workload generators consumed by the benchmark suite.

The source for this section lives under [examples/](https://github.com/kleisli-io/nix-effects/tree/main/examples).

## Walkthroughs

- [Category Theory](/nix-effects/application-examples/categoryTheory): Kernel-checked arithmetic, algebra, functors, and Yoneda-style constructions.
- [Expression Interpreter](/nix-effects/application-examples/interp): A small expression language interpreted with lookup, scoped environment, and failure effects.
- [Build Simulator](/nix-effects/application-examples/buildSim): A dependency-graph evaluator with cache, configuration, logging, and failure effects.