332 Open source projects that are alternatives of or similar to Category Theory

formally verified category theory library

An opinionated F# Library for error handling

Categorical Query Language IDE

a toolbox for computing with monoidal categories

A categorical programming language with effects

Categories parametrized by morphism equality, in Agda

CQL: Categorical Query Language implementation in Haskell

A naive approach to functional programming using TypeScript

A modern commutative diagram editor for the web.

A computational algebra system in Smalltalk.

List of resources about foundational knowledge for programmers (supposed to last a few decades)

A simple visual editor for creating commutative diagrams.

Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.

Open book about math and computer science.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A Prelude with names from category theory

A single / multiple, categorizable & searchable item picker (dropdown) component for react native which supports both Android & iOS.

开发项目积累的一些category、tools、自定义View，持续更新

Laravel 5 nested category/menu generator

probably the best abstract model / admin for your tree based stuff. 🌳

A powerful and easy to use segmented view (segmentedcontrol, pagingview, pagerview, pagecontrol, categoryview) (腾讯新闻、今日头条、QQ音乐、网易云音乐、京东、爱奇艺、腾讯视频、淘宝、天猫、简书、微博等所有主流APP分类切换滚动视图)

一个新闻频道管理view

ZSNavigationBar uses category to allow you change UINavigationBar appearance dynamically.(supported iOS 11+ and iPhone X)

Objective-C 常用分类集合，支持Cocoapods

Symfony SonataClassificationBundle

App 多区域皮肤 UIKit Category

Generate categories automatically for each post in Hexo

A Steam library categorizing tool.

Nihility-Ming to MBProgressHUD extension, easy to use.

iOS 工具分类整理

UIImageView category for using initials as a placeholder image, written in Objective-C. For a Swift implementation, see https://github.com/bachonk/InitialsImageView

A powerful and easy to use category view (segmentedcontrol, segmentview, pagingview, pagerview, pagecontrol) (腾讯新闻、今日头条、QQ音乐、网易云音乐、京东、爱奇艺、腾讯视频、淘宝、天猫、简书、微博等所有主流APP分类切换滚动视图)