# OCaml projects utilizing Category theory

**URL:** <https://discuss.ocaml.org/t/ocaml-projects-utilizing-category-theory/16206>\
**Category:** Community\
**Tags:** categorytheory\
**Created:** [March 1, 2025, 8:25am UTC](https://discuss.ocaml.org/t/ocaml-projects-utilizing-category-theory/16206 "2025-03-01T08:25:10Z")\
**Posts on this page:** 1\
**Showing post:** 5

<div class="post-metadata">

**Author:** ![chshersh](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/chshersh/32/4964_2.png) [@chshersh](https://discuss.ocaml.org/u/chshersh)\
**Post date:** [March 5, 2025, 10:10am UTC](https://discuss.ocaml.org/t/ocaml-projects-utilizing-category-theory/16206/5 "2025-03-05T10:10:45Z")

</div>

I started writing [a series of articles about Pragmatic Category Theory](https://chshersh.com/blog/2024-07-30-pragmatic-category-theory-part-01.html) in OCaml, and there’s a repository with examples:

- [GitHub - chshersh/pragmatic-category-theory: Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples](https://github.com/chshersh/pragmatic-category-theory)

If you’re interested in a complete project, I made **CCL: Categorical Configuration Language** which leverages multiple Category Theory concepts:

- [The Most Elegant Configuration Language by @chshersh](https://chshersh.com/blog/2025-01-06-the-most-elegant-configuration-language.html)

I’m currently working on a [GitHub TUI](https://github.com/chshersh/github-tui) project in OCaml but the usage of CT concepts is not that crazy there. For now, I only use Semigroup and Monoids (which some people don’t even consider part of CT but just Abstract Algebra).

---

_[View the full topic](https://discuss.ocaml.org/t/ocaml-projects-utilizing-category-theory/16206)._