My undergradate thesis on coinductive types in univalent type theory
-
Updated
May 10, 2018 - TeX
My undergradate thesis on coinductive types in univalent type theory
Taking the confusing parts out of lens without sacrificing the power.
Zadania z Programowania Funkcyjnego; Haskell
C++ Category Theory
Category Theory for Programmers and FP in Scala - exercises
A functional prototype of a Galois-connection based proof assistant
My notes / implementations to Bartosz Milewski's "Category Theory for Programmers"
A library which provides abstractions for functional programming in Rust. Inspired by Scala library cats.
Generalised folds and unfolds for R
This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.
Category theory applied to functional programming
Some nice POCs of categorical constructions in CPP
Julia package for building composable DSLs with multiple interpretations.
Category theory definitions for the working programmer
Computational tool for tiny presheaf topoi
Fat Arrow is a library for Typed Functional Programming in TypeScript compatible with Node.js and all major browsers.
Examples and exercises from Category Theory for Programmers
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."