Search Package Index

17 packages found

 PackageDescriptionBuild 

cur

Dependent types and meta-programming

Docs:

This package needs license metadata

succeeds2

cur-doc

This package needs a description

Docs:

This package needs tags

This package needs license metadata

succeeds3

cur-lib

This package needs a description

This package needs documentation

This package needs tags

This package needs license metadata

succeeds; has failing tests5

cur-test

This package needs a description

This package needs documentation

This package needs tags

This package needs license metadata

succeeds; has failing tests5

llm-lang

An LLM-first language.

This package needs documentation

This package needs tags

License:
fails6

rackpgmp

A library for profile-guided meta-programming

This package needs license metadata

succeeds; has failing tests5

scribble-bettergrammar

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

This package needs license metadata

succeeds2

scribble-bettergrammar-doc

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

This package needs license metadata

succeeds2

scribble-bettergrammar-lib

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

This package needs documentation

This package needs license metadata

succeeds4

scribble-coq

A library for typesetting Coq and coqtop interactions in Scribble.

This package needs documentation

This package needs tags

This package needs license metadata

fails6

scribble-minted

A scribble library for using pygmentize.

Docs:

This package needs license metadata

fails6

scribble-minted-doc

Documentation for scribble-minted.

Docs:

This package needs license metadata

fails6

scribble-minted-lib

A scribble library for using pygmentize (library only).

This package needs documentation

This package needs license metadata

succeeds; has failing tests5

sexp-diff

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

Docs:

This package needs tags

This package needs license metadata

succeeds2

sexp-diff-doc

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

Docs:

This package needs tags

This package needs license metadata

succeeds2

sexp-diff-lib

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

This package needs documentation

This package needs tags

This package needs license metadata

succeeds4

sexp-diff-test

Tests for sexp-diff-lib

This package needs documentation

This package needs tags

This package needs license metadata

succeeds4