category-theory

There are 399 repositories under category-theory topic.

  • Functors.jl

    Parameterise all the things

    Language:Julia121
  • functional

    functional

    Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.

    Language:JavaScript112

  • homotopy-rs

    A Rust/WASM implementation of homotopy.io

    Language:Rust105

  • Semagrams.jl

    A graphical editor for graph-like structures

    Language:Scala100

  • Categories

    A formalization of category theory in the Coq proof assistant.

    Language:Coq99

  • forest

    My mathematical Zettelkasten, created using forester. Moved to sourcehut.

    Language:Shell88

  • monadic-mondays

    Code samples for #monadicmonday topics

    Language:TypeScript86

  • linear-logic

    They see me rollin'. They're Heyting. -- Chamillionaire, 2005

    Language:Haskell83

  • CatsCheatSheet

    This project is to contain a listing of common theorems in elementary category theory.

    73

  • ctrs

    Category Theory For Programmers (Bartosz Milewski)

    Language:Rust67

  • bewl

    A DSL for the internal language of a topos

    Language:Scala66

  • categorifier

    Interpret Haskell programs into any cartesian closed category.

    Language:Haskell63

  • fp-dictionary

    FP category theory jargon explained on a single A4 page

    63

  • jsx-tikzcd

    Render tikzcd diagrams with JSX.

    Language:JavaScript61

  • zig-cats

    A category theory and functional programing library for Zig language

    Language:Zig60

  • fsm-oracle

    Finite state machines as graphs

    Language:Idris60

  • cat

    A formalization of category theory in cubical Agda

    Language:Agda59

  • data-category

    Library of categories, with categorical constructions on them

    Language:Haskell57

  • caterwaul

    Wailing into the primordial ooze of category theory

    Language:Dhall55

  • Category_Theory_Natural_Language_Processing_NLP

    List of papers and other resources at the intersection of Category Theory and NLP.

    54

  • AlgebraicRelations.jl

    Relational Algebra, now with more algebra!

    Language:Julia54
  • mercator-old

    mercator-old

    Automatic typeclass-based abstraction over monad-like types

    Language:Scala54

  • DirectSum.jl

    Tangent bundle, vector space and Submanifold definition

    Language:Julia51

  • purescript-ctprelude

    A Prelude with names from category theory

    Language:PureScript51

  • category-theory-for-programmers

    🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚

    Language:TypeScript48

  • LetsGO

    Examples of the most important features of this languages.

    Language:Go46

  • meow

    Catless Category Theory in Dotty/Scala 3 meow ~

    Language:Scala44

  • AbstractTensors.jl

    Tensor algebra abstract type interoperability setup

    Language:Julia44

  • opycleid

    Opycleid - A Python package for transformational music theory

    Language:Python44

  • kotlinz

    Functional programming in Kotlin

    Language:Kotlin44

  • yul-dsl-monorepo

    The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).

    Language:Haskell40

  • verigraph

    Software specification and verification system based on graph rewriting

    Language:Haskell37

  • C3T

    C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

    Language:TeX36

  • ACT4E

    Sources for "Applied Category Theory for Engineering"

    Language:TeX35

  • CAP_project

    CAP project -- Categories, Algorithms, and Programming

    Language:GAP35

  • functional-structures-refactoring-kata

    Starting code and proposed solution for Functional Structures Refactoring Kata

    Language:C#34