Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for category theory

category-theory x
184 search results found
Geb ⭐ 22
A Categorical View of Computation
Scala Category Theory ⭐ 22
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
Cs43 ⭐ 22
Course materials for Stanford's CS43: Functional Programming Paradigms
Categorytheoryforprogrammers ⭐ 22
Notes from Category Theory for Programmers lessons by Bartosz Milewski
Cap_project ⭐ 21
CAP project -- Categories, Algorithms, and Programming
Category Theory For Programmers ⭐ 21
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
Functional Programming From Scratch Ja ⭐ 20
関数型プログラミングをゼロからわかりやすく実用的に幅広い視点から解説！〜 圏論からFRPの構築まで
Fm Notes ⭐ 19
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
Smproc ⭐ 19
A well-typed symmetric-monoidal category of concurrent processes
Constrained Categories ⭐ 19
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
Hott Categories ⭐ 19
A category theory library built on top of Homotopy Type Theory, by Jason Gross
Algebraicrewriting.jl ⭐ 18
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Category Theory ⭐ 18
sometimes math is just too much fun
Act Munich ⭐ 16
Resource for the applied category theory Munich reading group
Haskerwaul ⭐ 16
Category theory concepts in type classes and instances.
Cat ⭐ 16
A categorical semantics library in Agda.
Algebraicinference.jl ⭐ 16
Bayesian inference on wiring diagrams.
Natural Transformation ⭐ 16
A natural transformation package
Awesome Double Categories ⭐ 15
A list of works and resources about double category theory, with a particular focus on applications.
Monadism ⭐ 15
A set of practical monads implemented in TypeScript
Cat.js ⭐ 15
Category Theory for JavaScript
Categorical Automata ⭐ 15
Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272
Ad Lens ⭐ 15
Automatic Differentiation using Pseudo Lenses. Neat.
Free Arrow ⭐ 14
Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Pilin ⭐ 14
A Kotlin multi-platform library providing some functional programming idioms and user defined effects.
Khats ⭐ 14
Khats, cats on Higher-Kinded amphets
Pierce Categories ⭐ 14
Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.
Declarative Form Generator ⭐ 14
A simple react form generator using functional programming concepts
Tymfgg Pearl ⭐ 14
Type Your Matrices For Great Good
Agda_category_theory ⭐ 14
Formalization of category theory in Agda
Category Theory Bartosz Milewski Lecture Notes ⭐ 13
Category theory for programmers lecture notes
Reed Thesis ⭐ 13
My undergradate thesis on coinductive types in univalent type theory
Categories ⭐ 13
Category Theory
Acs Category Theory Notes 2017 ⭐ 12
Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
Acme Cofunctor ⭐ 12
A Cofunctor is a structure from category theory dual to Functor
Cifl Math Library ⭐ 12
Basic mathematics library
Arrow Media ⭐ 12
Media blog for the functional companion to Kotlin's Standard Library
Hamcat ⭐ 12
Category Theory for Programmers の勉強記録
Category Theory Python ⭐ 12
Learning platform for category theory in python
Category Theory Seminar Notes Cnu 2018 ⭐ 12
首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, LaTeX docs and PDF docs inside.
Perplexity ⭐ 11
A notational semantic for documenting neural networks through diagrams
Principia.ts ⭐ 11
TypeScript functional programming (mirror)
Monnit ⭐ 11
Monads, functors etc. for Clojure(Script)
Smallcategories ⭐ 11
A database of small finite categories
Fp Materials ⭐ 10
Materials for learning functional programming (mostly with JS focus)
Ecats ⭐ 10
An editor for category theory
Realizability ⭐ 10
Experiments with Realizability in Univalent Type Theory
Act4e ⭐ 9
Sources for "Applied Category Theory for Engineering"
Kitchensink ⭐ 9
Multi-paradigm programming in C#
Representable Functors ⭐ 9
representable functors
Split Morphism ⭐ 8
➰ Split Morphisms
Ct ⭐ 8
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
Functionaljswithcategories ⭐ 8
Functional Programming in Javascript with Categories
Abel ⭐ 8
Category theory applied to functional programming
Types ⭐ 8
Did someone say types?
Category Studygroup ⭐ 8
Arrows ⭐ 8
A computer algebra system in Smalltalk
Scala ⭐ 8
At the beginning of a long road...
Categorias_y_programacion ⭐ 7
Bibliografía sobre teoría de categorías y programación funcional
Representable Tries ⭐ 7
representable tries
Tensorcategories.jl ⭐ 7
Category Theory Framework
Strict Encoding ⭐ 7
Protobufs for functional programming
Ts Cat ⭐ 7
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
Category_theory_natural_language_processing_nlp ⭐ 7
List of papers and other resources at the intersection of Category Theory and NLP.
Algar ⭐ 7
Algebraic structures, higher-kinded types and other category theory bad ideas
Bookmarks ⭐ 7
A selection of the links I find interesting over time. Updated on a regular basis.
Discokitty ⭐ 7
An educational implementation of some aspects of the DisCoCat framework
Math Translations ⭐ 7
Hypertext translations of some classic mathematical papers into English
Introcategorias ⭐ 7
Apuntes de introducción a la teoría de categorías.
Cid ⭐ 7
a little category theory in Idris
Socialtheories.jl ⭐ 7
Theories of social science expressed in Catlab.jl formalisms
Yul Dsl Monorepo ⭐ 6
The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.
Arrow Docset ⭐ 6
A Dash-docset for Λrrow
Cats ⭐ 6
Musings on category theory
Sheetshow ⭐ 6
A renderer for sheet diagrams in bimonoidal categories
Scalaschool ⭐ 6
Learn Functional Programming with Scala
Lean Monoidal Categories ⭐ 5
Filterable ⭐ 5
A simple account of "filterability" using category theory
Triglav ⭐ 5
Profunctor optics in Scala, arrows, modular approach to abstractions in category theory
Fps Course ⭐ 5
Category theory for pure functional programming in Scala - materials for course participants
Tasl ⭐ 5
An algebraic data model for strongly typed semantic data
Awesome Category Theory ⭐ 5
A curated list of awesome Category Theory resources.
Graph2sheaves ⭐ 5
Sheaves library for graph abstractions based on NetworkX
Functional Java ⭐ 5
Functional programming style in Java
101-184 of 184 search results
Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source.  All rights reserved.