Other PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 different countries. Learn more →
Top 5 TeX Haskell Projects
-
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
IMO Bartosz Milewski gave a pretty good answer to the "why" question in the preface to his book:
> Second, there are many different kinds of math, and they appeal to different audiences. You might be allergic to calculus or algebra, but it doesn’t mean you won’t enjoy category theory. I would go as far as to argue that category theory is the kind of math that is particularly well suited for the minds of programmers. That’s because category theory — rather than dealing with particulars — deals with structure. It deals with the kind of structure that makes programs composable.
Composition is at the very root of category theory — it’s part of the definition of the category itself. And I will argue strongly that composition is the essence of programming. We’ve been composing things forever, long before some great engineer came up with the idea of a subroutine. Some time ago the principles of structured programming revolutionized programming because they made blocks of code composable. Then came object oriented programming, which is all about composing objects. Functional programming is not only about composing functions and algebraic data structures — it makes concurrency composable — something that’s virtually impossible with other programming paradigms.
https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
And regarding:
> Anything that could be useful to you from CT can be explained in one afternoon over some coffee or beer.
Yes, you can go through the definitions, but you won't understand all of those concepts in one afternoon unless you're a savant.
-
CodeRabbit
CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
-
-
selective
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
-
alga-paper
A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
-
-
Nutrient
Nutrient – The #1 PDF SDK Library, trusted by 10K+ developers. Other PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 different countries.
TeX Haskell discussion
TeX Haskell related posts
-
Category Theory in Programming
-
Category Theory Illustrated: Logic(2021)
-
The cruelty of teaching computing science (1988)
-
Category Theory Using String Diagrams (2014)
-
reflect-cpp - Now with compile time extraction of field names from structs and enums using C++-20.
-
Category Theory for Programming
-
Polynomial Functors: A Mathematical Theory of Interaction [pdf]
-
A note from our sponsor - Nutrient
www.nutrient.io | 12 Feb 2025
Index
What are some of the best open-source Haskell projects in TeX? This list will help you:
# | Project | Stars |
---|---|---|
1 | milewski-ctfp-pdf | 11,136 |
2 | AlgoXY | 6,236 |
3 | selective | 204 |
4 | alga-paper | 195 |
5 | Parallel-Arrows-Definition | 18 |