#

category-theory

Here are 216 public repositories matching this topic...

hmemcpy / milewski-ctfp-pdf

Star

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

pdf haskell scala latex cpp functional-programming ocaml category-theory

Updated Aug 3, 2020
TeX

steshaw / plt

Star

λΠ Programming Language Theory

functional-programming logic type-theory category-theory programming-languages proof-theory

Updated Jul 9, 2020
CSS

arrow-kt / arrow

Star

Λrrow - Functional companion to Kotlin's Standard Library

kotlin monads functional-programming arrow kotlin-library category-theory recursion-schemes optics polymorphism typeclasses monad-transformers free-monads functional-data-structure continuations for-comprehension typed-lambda-calculus tagless-final fp-types typeclass-derivation delimited-continuations

Updated Aug 13, 2020
Shell

tikzcd-editor

yishn / tikzcd-editor

Star

A simple visual editor for creating commutative diagrams.

editor latex diagram category-theory tikz tikzcd

Updated Feb 12, 2020
JavaScript

thma / LtuPatternFactory

Star

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

haskell functional-languages design-patterns monad functor category-theory typeclasses monoids monad-transformers strategy-pattern builder-pattern traversable factory-pattern function-composition pattern-language reader-monad gof-patterns functors iterator-pattern typeclassopedia

Updated Apr 25, 2020
Haskell

JasonShin / fp-core.rs

Star

A library for functional programming in Rust

rust functional-programming lambda-calculus monad functor category-theory monoid hkt applicative homomorphism comonad morphism

Updated Apr 29, 2020
Rust

jwiegley / category-theory

Star

An axiom-free formalization of category theory in Coq for personal study and practical work

construction comonads coq monad functor category-theory monoid categories category cartesian-closed-category cartesian profunctor profunctor-composition

Updated Aug 7, 2020
Coq

bow

bow-swift / bow

Star

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

swift swift-library functional-programming cocoapods carthage composition effects fp reactive-programming monad functor category-theory free-monad bow spm mtl tagless-final declarative-programming

Updated Aug 4, 2020
Swift

jwbuurlage / category-theory-programmers

Star

Category theory in the context of (functional) programming

functional-programming mathematics category-theory lecture-notes

Updated Feb 26, 2018

liuxinyu95 / unplugged

Star

Open book about math and computer science.

algebra math category-theory haskell-book

Updated Aug 14, 2020
TeX

uncomplicate / fluokitten

Star

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.

clojure clojure-library monad functor category-theory monoid

Updated Jun 21, 2020
Clojure

statebox / awesome-applied-ct

Star

ACT community resources

category-theory references curated-list applied-category-theory compositionality

Updated Nov 26, 2019

mmenestret / fp-resources

Star

Functional programming great resources

scala algebra functional-programming monad category-theory recursion-schemes monoid typeclass typeclasses monad-transformers free-monads

Updated Apr 17, 2020

lemastero / scala_typeclassopedia

Star

Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.

scala patterns functional-programming io-monad category-theory abstraction abstract-algebra continuation-monad rws-monad hoare-monad

Updated Aug 12, 2020
Scala

typedefs / typedefs

Star

Programming language agnostic type construction language based on polynomials.

serialization types marshalling type-theory category-theory serialization-library f-algebras type-definitions

Updated Jul 11, 2020
Idris

sderosiaux / every-single-day-i-tldr

Star

A daily digest of the articles or videos I've found interesting, that I want to share with you.

javascript java kubernetes microservices scala kafka akka spark reactjs ddd architecture technology watch bigdata data-engineering category-theory googlecloudplatform

Updated Aug 13, 2020

AlgebraicJulia / Catlab.jl

Star

A framework for applied category theory in the Julia language

computer-algebra julia category-theory applied-category-theory compositionality wiring-diagrams string-diagrams

Updated Aug 14, 2020
Julia

statebox / idris-ct

Star

formally verified category theory library

category-theory formal-verification formal-proofs

Updated Jun 23, 2020
Idris

bastet

Risto-Stevcev / bastet

Star

A ReasonML/Ocaml library for category theory and abstract algebra

algebra monad category-theory monoid semigroup bucklescript theory prelude reasonml abstract category semiring abstract-algebra reason semigroupoid

Updated Jul 17, 2020
Reason

zio / zio-prelude

Star

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

scala functional-programming category-theory abstract-algebra zio

Updated Aug 13, 2020
Scala

dmitriz / functional-examples

Star

Examples with Functional JavaScript, following Professor Frisby's course

functional-programming monad functor category-theory functional-js

Updated Mar 31, 2020
JavaScript

CategoricalData / CQL

Star

Categorical Query Language IDE

data-science etl functional-programming category-theory data-integration cql data-exchange data-migratation

Updated Aug 7, 2020
Java

copumpkin / categories

Star

Categories parametrized by morphism equality, in Agda

category-theory agda

Updated Aug 9, 2019
Agda

alohawav / naive_functional_programming

Star

A naive approach to functional programming using TypeScript

typescript functional-programming category-theory

Updated Jul 19, 2020
TypeScript

statebox / cql

Star

CQL: Categorical Query Language implementation in Haskell

haskell category-theory data-migration query-language aql

Updated Jan 21, 2020
Haskell

demystifyfp / FsToolkit.ErrorHandling

Star

An opinionated F# Library for error handling

fsharp category-theory error-handling railway-oriented-programming

Updated Jul 22, 2020
F#

len / Domains

Star

A computational algebra system in Smalltalk.

computer-algebra smalltalk mathematics category-theory cas algebraic-geometry group-theory commutative-algebra

Updated Aug 11, 2020
Smalltalk

err0r500 / foundational-knowledge-for-programmers

Star

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

computer-science awesome cryptography networking algorithms linear-algebra type-theory category-theory programming-languages programming-paradigms awesome-list computer-architecture software-architecture algorithms-and-data-structures proof-theory

Updated Apr 7, 2020

oxford-quantum-group / discopy

Star

a toolbox for computing with monoidal categories

nlp category-theory quantum-computing diagrams

Updated Jul 15, 2020
Python

amintimany / Categories

Star

A formalization of category theory in the Coq proof assistant.

library coq proof-assistant category-theory coq-formalization categories adjunctions kan-extensions topos

Updated Aug 6, 2020
Coq

Improve this page

Add a description, image, and links to the category-theory topic page so that developers can more easily learn about it.

Curate this topic

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."

You can’t perform that action at this time.