category-theory topic
cat
A formalization of category theory in cubical Agda
fp-dictionary
FP category theory jargon explained on a single A4 page
fp-core.rs
A library for functional programming in Rust
bastet
A ReasonML/Ocaml library for category theory and abstract algebra
LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
unplugged
Open book about math and programming.
awesome-applied-ct
ACT community resources
functional
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
plt
Programming Language Theory λΠ
react-fontawesome
A React Font Awesome component.
typedefs
Programming language agnostic type construction language based on polynomials.