Topic: category-theory Goto Github

👇 Here are 349 public repositories matching this topic...

abuseofnotation / category-theory-illustrated
category-theory,A book about category theory
User: abuseofnotation
Home Page: https://abuseofnotation.github.io/category-theory-illustrated/
book category-theory functional-programming math mathematics books

adamnemecek / adjoint
category-theory,Thoughts on adjoint, norm and such.
User: adamnemecek
adjoint-operator norm category-theory adjoint-functors

algebraicjulia / catlab.jl
category-theory,A framework for applied category theory in the Julia language
Organization: algebraicjulia
Home Page: https://www.algebraicjulia.org
applied-category-theory string-diagrams wiring-diagrams julia category-theory compositionality

algebraicjulia / semagrams.jl
category-theory,A graphical editor for graph-like structures
Organization: algebraicjulia
Home Page: https://algebraicjulia.github.io/Semagrams.jl/
julia graph category-theory visualization

alhassy / catscheatsheet
category-theory,This project is to contain a listing of common theorems in elementary category theory.
User: alhassy
category-theory cheatsheet reference pdf html functors gluing-morphisms

amintimany / categories
category-theory,A formalization of category theory in the Coq proof assistant.
User: amintimany
category-theory categories coq coq-formalization proof-assistant library adjunctions kan-extensions topos

andrew-johnson-4 / lsts
category-theory,Large Scale Type Systems (programming language)
User: andrew-johnson-4
Home Page: https://andrew-johnson-4.github.io/lsts-tutorial/
ast type-checking theorem-prover rust category-theory error-reporting lexer lint parser lambda-calculus lambda-calculus-interpreter assisted-reasoning proof-assistant dependent-types refinement-types compiler language lsts

anton-latukha / fundamental-haskell
category-theory,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.
User: anton-latukha
Home Page: https://blog.latukha.com/haskell-notes
haskell org org-mode category-theory functional-programming emacs philosophy-of-science learning-resource dictionary dictionary-learning

bgavran / category_theory_machine_learning
category-theory,List of papers studying machine learning through the lens of category theory
User: bgavran
neural-networks lenses machine-learning category-theory

bow-swift / bow
category-theory,🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Organization: bow-swift
Home Page: https://bow-swift.io
functional-programming category-theory functor monad swift-library free-monad tagless-final mtl cocoapods carthage

categoricaldata / cql
category-theory,Categorical Query Language IDE
Organization: categoricaldata
Home Page: http://categoricaldata.net
cql category-theory functional-programming data-migratation etl data-integration data-science data-exchange

con-kitty / categorifier
category-theory,Interpret Haskell programs into any cartesian closed category.
Organization: con-kitty
haskell category-theory plugin

copumpkin / categories
category-theory,Categories parametrized by morphism equality, in Agda
User: copumpkin
category-theory agda

damienstanton / ctrs
category-theory,Category Theory For Programmers (Bartosz Milewski)
User: damienstanton
Home Page: https://docs.rs/ctrs
rust rust-library category-theory

demystifyfp / fstoolkit.errorhandling
category-theory,An opinionated F# Library for error handling
User: demystifyfp
Home Page: https://demystifyfp.gitbook.io/fstoolkit-errorhandling
fsharp error-handling railway-oriented-programming category-theory

discopy / discopy
category-theory,The Python toolkit for computing with string diagrams.
User: discopy
Home Page: https://discopy.org
category-theory diagrams nlp quantum-computing

dmitriz / functional-examples
category-theory,Examples with Functional JavaScript, following Professor Frisby's course
User: dmitriz
Home Page: https://egghead.io/lessons/javascript-refactoring-imperative-code-to-a-single-composed-expression-using-box
functional-programming functional-js functor monad category-theory

err0r500 / foundational-knowledge-for-programmers
category-theory,List of resources about foundational knowledge for programmers (supposed to last a few decades)
User: err0r500
awesome awesome-list computer-science computer-architecture programming-languages programming-paradigms algorithms algorithms-and-data-structures software-architecture category-theory type-theory proof-theory cryptography linear-algebra networking

fdilke / bewl
category-theory,A DSL for the internal language of a topos
User: fdilke
algebraic-structures category-theory dsl math topos-theory

fluxml / functors.jl
category-theory,Parameterise all the things
Organization: fluxml
Home Page: https://fluxml.ai/Functors.jl/stable/
julia functors category-theory machine-learning functional-programming

functionalland / functional
category-theory,Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
Organization: functionalland
deno functional functional-programming denoland functor monoid catamorphism fold maybe either

hmemcpy / milewski-ctfp-pdf
category-theory,Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
User: hmemcpy
Home Page: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
haskell category-theory functional-programming pdf latex cpp scala ocaml

homotopy-io / homotopy-rs
category-theory,A Rust/WASM implementation of homotopy.io
Organization: homotopy-io
Home Page: https://homotopy.io
category-theory diagram diagrams higher-category-theory math mathematics maths proof-assistant proof-assistants rust

jameshaydon / lawvere
category-theory,A categorical programming language with effects
User: jameshaydon
category-theory programming-language compiler interpreter effects

jasonshin / fp-core.rs
category-theory,A library for functional programming in Rust
User: jasonshin
functional-programming rust monad functor applicative category-theory lambda-calculus monoid hkt homomorphism

jonsterling / forest
category-theory,My mathematical Zettelkasten, created using forester.
User: jonsterling
Home Page: http://www.jonmsterling.com/
category-theory mathematics tools-for-thought wiki

jwbuurlage / category-theory-programmers
category-theory,Category theory in the context of (functional) programming
User: jwbuurlage
mathematics category-theory functional-programming lecture-notes

jwiegley / category-theory
category-theory,An axiom-free formalization of category theory in Coq for personal study and practical work
User: jwiegley
category-theory coq monad profunctor comonads monoid profunctor-composition construction category categories

mmenestret / fp-resources
category-theory,Functional programming great resources
User: mmenestret
scala monad free-monads category-theory algebra monad-transformers recursion-schemes monoid typeclasses typeclass

neko-kai / fp-dictionary
category-theory,FP category theory jargon explained on a single A4 page
User: neko-kai
fp category-theory functional-programming

rafbcampos / naive_functional_programming
category-theory,A naive approach to functional programming using TypeScript
User: rafbcampos
functional-programming category-theory typescript

risto-stevcev / bastet
category-theory,A ReasonML/Ocaml library for category theory and abstract algebra
User: risto-stevcev
abstract abstract-algebra algebra bucklescript category category-theory monad monoid prelude reason reasonml semigroup semigroupoid semiring theory

rzk-lang / rzk
category-theory,An experimental proof assistant based on a type theory for synthetic ∞-categories.
Organization: rzk-lang
Home Page: https://rzk-lang.github.io/rzk/
category-theory homotopy-type-theory proof-assistant haskell

sderosiaux / every-single-day-i-tldr
category-theory,A daily digest of the articles or videos I've found interesting, that I want to share with you.
User: sderosiaux
technology watch scala javascript java bigdata akka kafka kubernetes ddd

sellout / caterwaul
category-theory,Wailing into the primordial ooze of category theory
User: sellout
category-theory dhall

sjoerdvisscher / data-category
category-theory,Library of categories, with categorical constructions on them
User: sjoerdvisscher
Home Page: http://hackage.haskell.org/package/data-category
haskell category-theory

statebox / awesome-applied-ct
category-theory,ACT community resources
Organization: statebox
applied-category-theory compositionality category-theory curated-list references

statebox / cql
category-theory,CQL: Categorical Query Language implementation in Haskell
Organization: statebox
aql data-migration query-language category-theory haskell

statebox / fsm-oracle
category-theory,Finite state machines as graphs
Organization: statebox
state-machines category-theory formally-verified

statebox / idris-ct
category-theory,formally verified category theory library
Organization: statebox
category-theory formal-verification formal-proofs

steshaw / plt
category-theory,Programming Language Theory λΠ
User: steshaw
Home Page: https://steshaw.org/plt/
programming-languages type-theory functional-programming category-theory logic proof-theory

thma / ltupatternfactory
category-theory,Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
User: thma
functional-languages factory-pattern strategy-pattern builder-pattern function-composition iterator-pattern monad haskell design-patterns gof-patterns

typedefs / typedefs
category-theory,Programming language agnostic type construction language based on polynomials.
Organization: typedefs
Home Page: http://typedefs.com/
type-definitions serialization-library types f-algebras type-theory category-theory serialization marshalling

uncomplicate / fluokitten
category-theory,Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Organization: uncomplicate
Home Page: http://fluokitten.uncomplicate.org
clojure category-theory clojure-library monad monoid functor

unimath / agda-unimath
category-theory,The agda-unimath library
Organization: unimath
Home Page: https://unimath.github.io/agda-unimath/
homotopy-type-theory univalent-foundations univalent-mathematics category-theory commutative-algebra finite-groups graph-theory order-theory ring-theory structured-types

varkor / quiver
category-theory,A modern commutative diagram editor for the web.
User: varkor
Home Page: https://q.uiver.app
commutative-diagrams category-theory editor tikz tikzcd latex tikz-cd pasting-diagrams commutative diagram

xvw / preface
category-theory,Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
User: xvw
Home Page: https://ocaml-preface.github.io/preface/index.html
ocaml stdlib functional-programming category-theory

ybogomolov / monadic-mondays
category-theory,Code samples for #monadicmonday topics
User: ybogomolov
monadic-monday functional-programming fp typescript category-theory

yishn / tikzcd-editor
category-theory,A simple visual editor for creating commutative diagrams.
User: yishn
Home Page: https://tikzcd.yichuanshen.de/
category-theory tikzcd tikz diagram latex editor hacktoberfest

zio / zio-prelude
category-theory,A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Organization: zio
Home Page: https://zio.dev/zio-prelude
zio scala functional-programming category-theory abstract-algebra