pragmatic-category-theory

(β˜… 136)

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

File Explorer

Download Latest Version (.zip)
  • .gitignore
  • .ocamlformat
  • .ocamlformat-ignore
  • dune-project
  • LICENSE
  • README.md
  • semigroup.opam

Today's picks

create-react-app β˜… 103,290

Set up a modern web app by running one command.

JavaScript
ui-ux-pro-max-skill β˜… 119,179

An AI skill that provides design intelligence for building professional UI/UX across multi

Python
fzf β˜… 82,603

:cherry_blossom: A command-line fuzzy finder

Go
SecLists β˜… 72,972

SecLists is the security tester's companion. It's a collection of multiple types of lists

PHP
system-prompts-and-models-of-ai-tools β˜… 142,968

FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, L
FreeDomain β˜… 194,714

Free domain registration and practical DNS learning resources for everyone.

Markdown
// repository documentation