Search Package Index

28 packages found

 PackageDescriptionBuild 

interconfection

A library for building extensible systems, especially module systems.

This package needs license metadata

succeeds2

interconfection-doc

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

This package needs license metadata

succeeds2

interconfection-lib

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

This package needs documentation

This package needs license metadata

succeeds4

interconfection-test

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

This package needs documentation

This package needs license metadata

succeeds4

lathe-comforts

A collection of utilities.

This package needs license metadata

succeeds2

lathe-comforts-doc

A collection of utilities. (doc)

This package needs license metadata

succeeds2

lathe-comforts-lib

A collection of utilities. (lib)

This package needs documentation

This package needs license metadata

succeeds4

lathe-comforts-test

A collection of utilities. (test)

This package needs documentation

This package needs license metadata

succeeds4

lathe-morphisms

Interfaces for category theory concepts.

This package needs license metadata

succeeds2

lathe-morphisms-doc

Interfaces for category theory concepts. (doc)

This package needs license metadata

succeeds2

lathe-morphisms-lib

Interfaces for category theory concepts. (lib)

This package needs documentation

This package needs license metadata

succeeds4

lathe-morphisms-test

Interfaces for category theory concepts. (test)

This package needs documentation

This package needs license metadata

succeeds4

lathe-ordinals

Ordinal numbers supporting addition, multiplication, and exponentiation.

This package needs license metadata

succeeds2

lathe-ordinals-doc

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

This package needs license metadata

succeeds2

lathe-ordinals-lib

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

This package needs documentation

This package needs license metadata

succeeds4

lathe-ordinals-test

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

This package needs documentation

This package needs license metadata

succeeds4

parendown

A weak opening parenthesis, good for eliminating indentation.

Docs:

This package needs license metadata

succeeds2

parendown-doc

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

Docs:

This package needs license metadata

succeeds2

parendown-lib

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

This package needs documentation

This package needs license metadata

succeeds4

parendown-test

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

This package needs documentation

This package needs license metadata

succeeds4

punctaffy

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

Docs:

This package needs license metadata

succeeds2

punctaffy-doc

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

Docs:

This package needs license metadata

succeeds2

punctaffy-lib

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

This package needs documentation

This package needs license metadata

succeeds4

punctaffy-test

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

This package needs documentation

This package needs license metadata

succeeds4

sew

A meta-language for assembling a file with custom preprocessing logic.

Docs:

This package needs license metadata

succeeds2

sew-doc

A meta-language for assembling a file with custom preprocessing logic. (doc)

Docs:

This package needs license metadata

succeeds2

sew-lib

A meta-language for assembling a file with custom preprocessing logic. (lib)

This package needs documentation

This package needs license metadata

succeeds4

sew-test

A meta-language for assembling a file with custom preprocessing logic. (test)

This package needs documentation

This package needs license metadata

succeeds4