Search Package Index

16 packages found

 PackageDescriptionBuild 

cur

Dependent types and meta-programming

Docs:
succeeds0

cur-doc

This package needs a description

Docs:

This package needs tags

succeeds2

cur-lib

This package needs a description

This package needs documentation

This package needs tags

succeeds; has failing tests4

cur-test

This package needs a description

This package needs documentation

This package needs tags

succeeds; has failing tests4

rackpgmp

A library for profile-guided meta-programming

succeeds; has failing tests4

scribble-bettergrammar

A Scribble library for typesetting grammars with annotations, in particular, differences between grammars (implementation and documentation).

succeeds0

scribble-bettergrammar-doc

Documentation for scribble-bettergrammar-lib, a Scribble library for typesetting grammars with annotations, in particular, differences between grammars.

succeeds0

scribble-bettergrammar-lib

A Scribble library for typesetting grammars with annotations, in particular, differences between grammars (implementation only).

This package needs documentation

succeeds3

scribble-coq

A library for typesetting Coq and coqtop interactions in Scribble.

This package needs documentation

This package needs tags

fails5

scribble-minted

A scribble library for using pygmentize.

Docs:
fails5

scribble-minted-doc

Documentation for scribble-minted.

Docs:
fails5

scribble-minted-lib

A scribble library for using pygmentize (library only).

This package needs documentation

succeeds; has failing tests4

sexp-diff

Diffs s-expressions based on Levenshtein-like edit distance.

Docs:

This package needs tags

succeeds1

sexp-diff-doc

Diffs s-expressions based on Levenshtein-like edit distance, documentation.

Docs:

This package needs tags

succeeds1

sexp-diff-lib

Diffs s-expressions based on Levenshtein-like edit distance, library only.

This package needs documentation

This package needs tags

succeeds3

sexp-diff-test

Tests for sexp-diff-lib

This package needs documentation

This package needs tags

succeeds3