cartesian-closed-category

There are 0 repository under cartesian-closed-category topic.

jwiegley / category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
category-theory coq monad profunctor comonads monoid profunctor-composition construction category categories functor cartesian cartesian-closed-category
Language:Coq 735
TomasMikula / LambdaCart
Lambda syntax for Scala EDSLs
scala dsl arrow lambda-expressions lambda-syntax cartesian-closed-category
Language:Scala 26
jarredbarber / Cat.jl
Julia package for building composable DSLs with multiple interpretations.
julia dsl category-theory cartesian-closed-category metaprogramming compiler composable-arrows functors interpretations composable-dsls
Language:Julia 7
qfunq / typescript-IO-Monad
Port of Bartosz Milewski's C++ monadic IO to typescript. Created a mix of Maybe/IO/Promise, which is a fully functional CCC environment, allowing for recursion to code more complex operations, and inherits all the convenient properties of its components.
monadic input-output typescript cpp cartesian-closed-category
Language:TypeScript 0

jwiegley / category-theory