Search Package Index

12 packages found

 PackageDescriptionBuild 

amb

Ambiguous Operator

Docs:
Tags:
License:
succeeds0

ambKanren

miniKanren based on amb

This package needs documentation

License:
succeeds; has failing tests5

cat

A category theory toolkit for Racket.

This package needs documentation

Tags:
License:
succeeds4

ctp

Category Theory in Programming

Docs:
License:
succeeds; has dependency problems0

dynamic-case

Dynamic Case

Tags:
License:
succeeds0

goto

Goto based on call/cc

Docs:
Tags:
License:
succeeds0

qi-cat

Packages for studying the connections between Qi and Category Theory.

This package needs documentation

License:
fails6

typed-amb

Typed Ambiguous Operator

Docs:
License:
succeeds0

typed-data-queue

Queues for typed racket

This package needs documentation

License:
succeeds4

typed-goto

Typed goto based on call/cc

Docs:
License:
succeeds0

typed-racket-mutable-treelist

Mutable tresslists for typed racket

This package needs documentation

License:
succeeds4

variant

Tagged Values

Docs:
Tags:
License:
succeeds0