Operad Programming Language in Haskell, by David Darais
-
Updated
Apr 1, 2014 - Haskell
Operad Programming Language in Haskell, by David Darais
evaluation using f-algebras
Web-based SkDM database diagramming tool based on JointJS.
Basic abstractions and methods for computations in terms of group algebra Z[G] and automatic construction of cocycle translations for computation of cup-product.
Category theory applied to functional programming
Arrow Transformer Library
Functional programming in Kotlin
Software Foundations book and exercises taken from https://www.cis.upenn.edu/~bcpierce/sf/current/index.html
Some coding experiments with Meijer's duality (WIP)
Cats bindings for Frege data types
📓 as I learn all the things.
CoInduction Termination and Category Theory
A McCord Functor for Alexandroff Categories
Apuntes de introducción a la teoría de categorías.
Source for Basic Category Theory by Tom Leinster
repo for all notes, programmes etc I made for LambdaConf17
Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.
Add a description, image, and links to the category-theory topic page so that developers can more easily learn about it.
To associate your repository with the category-theory topic, visit your repo's landing page and select "manage topics."