cartesian-closed-category

There are 5 repositories under cartesian-closed-category topic.

  • jwiegley/category-theory

    An axiom-free formalization of category theory in Coq for personal study and practical work

    Language:Coq761201972

  • TomasMikula/LambdaCart

    Lambda syntax for Scala EDSLs

    Language:Scala26703

  • jarredbarber/Cat.jl

    Julia package for building composable DSLs with multiple interpretations.

    Language:Julia7200

  • smimram/cccatt

    A type theory for unbiased cartesian closed categories.

    Language:OCaml3

  • 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.

    Language:TypeScript0110