-
Updated
Mar 5, 2018 - HTML
category-theory
Here are 359 public repositories matching this topic...
Taking the confusing parts out of lens without sacrificing the power.
-
Updated
Jan 8, 2018 - Haskell
Zadania z Programowania Funkcyjnego; Haskell
-
Updated
Jul 2, 2019 - Haskell
Category Theory for Programmers and FP in Scala - exercises
-
Updated
May 14, 2018 - Scala
My notes / implementations to Bartosz Milewski's "Category Theory for Programmers"
-
Updated
Feb 28, 2021 - TypeScript
Lwt implementations for bastet
-
Updated
Feb 9, 2023 - OCaml
-
Updated
Jun 26, 2023 - Lean
This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.
-
Updated
May 11, 2024 - TeX
Some nice POCs of categorical constructions in CPP
-
Updated
Aug 29, 2018
Category theory definitions for the working programmer
-
Updated
Jul 13, 2019 - TeX
Examples and exercises from Category Theory for Programmers
-
Updated
Nov 15, 2021 - Jupyter Notebook
Mostly complete now. All comments are welcome from anyone, at any time. Please don't hesitate to reach out to critic, edit, help or ask questions. I'm learning.
-
Updated
Jul 27, 2022 - TeX
I'm determined to learn what a Monad is!
-
Updated
Feb 5, 2024 - Haskell
A visualiser for circuits represented as hypergraphs
-
Updated
Dec 11, 2022 - Reason
-
Updated
May 22, 2024 - Agda
Code repo for Functional and Reactive Domain Modeling
-
Updated
Feb 2, 2018 - Scala
Attempts to embed lambda-mu semantics in Haskell
-
Updated
Dec 26, 2020 - Haskell
This repository's Discussions host comments to posts in https://sorilee.github.io/.
-
Updated
Feb 12, 2024
-
Updated
Apr 26, 2024 - Kotlin
Improve this page
Add a description, image, and links to the category-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the category-theory topic, visit your repo's landing page and select "manage topics."