Search Package Index

24 packages found

 PackageDescriptionBuild 

interconfection

A library for building extensible systems, especially module systems.

succeeds0

interconfection-doc

A library for building extensible systems, especially module systems. (doc)

succeeds0

interconfection-lib

A library for building extensible systems, especially module systems. (lib)

This package needs documentation

succeeds3

interconfection-test

A library for building extensible systems, especially module systems. (test)

This package needs documentation

succeeds3

lathe-comforts

A collection of utilities.

succeeds0

lathe-comforts-doc

A collection of utilities. (doc)

succeeds0

lathe-comforts-lib

A collection of utilities. (lib)

This package needs documentation

succeeds3

lathe-comforts-test

A collection of utilities. (test)

This package needs documentation

succeeds3

lathe-morphisms

Interfaces for category theory concepts.

succeeds0

lathe-morphisms-doc

Interfaces for category theory concepts. (doc)

succeeds0

lathe-morphisms-lib

Interfaces for category theory concepts. (lib)

This package needs documentation

succeeds3

lathe-morphisms-test

Interfaces for category theory concepts. (test)

This package needs documentation

succeeds3

lathe-ordinals

Ordinal numbers supporting addition, multiplication, and exponentiation.

succeeds0

lathe-ordinals-doc

Ordinal numbers supporting addition, multiplication, and exponentiation. (doc)

succeeds0

lathe-ordinals-lib

Ordinal numbers supporting addition, multiplication, and exponentiation. (lib)

This package needs documentation

succeeds3

lathe-ordinals-test

Ordinal numbers supporting addition, multiplication, and exponentiation. (test)

This package needs documentation

succeeds3

parendown

A weak opening parenthesis, good for eliminating indentation.

This package needs documentation

succeeds3

parendown-doc

A weak opening parenthesis, good for eliminating indentation. (doc)

Docs:
succeeds0

parendown-lib

A weak opening parenthesis, good for eliminating indentation. (lib)

This package needs documentation

succeeds3

parendown-test

A weak opening parenthesis, good for eliminating indentation. (test)

This package needs documentation

succeeds3

punctaffy

A library for working with higher-dimensional brackets, such as quasiquotation syntax.

Docs:
succeeds0

punctaffy-doc

A library for working with higher-dimensional brackets, such as quasiquotation syntax. (doc)

Docs:
succeeds0

punctaffy-lib

A library for working with higher-dimensional brackets, such as quasiquotation syntax. (lib)

This package needs documentation

succeeds3

punctaffy-test

A library for working with higher-dimensional brackets, such as quasiquotation syntax. (test)

This package needs documentation

succeeds3