Search Package Index

21 packages found

 PackageDescriptionFamilyBuild 

cur

Dependent types and meta-programming

Docs:

This package needs license metadata

Racketsucceeds2

cur-doc

This package needs a description

Docs:

This package needs tags

This package needs license metadata

Racketsucceeds3

cur-lib

This package needs a description

Docs:

This package needs tags

This package needs license metadata

Racketsucceeds; has failing tests5

cur-test

This package needs a description

Docs:

This package needs tags

This package needs license metadata

Racketsucceeds; has failing tests5

llm

This package needs a description

Docs:

This package needs tags

License:
Racketfails6

llm-doc

This package needs a description

Docs:

This package needs tags

License:
Racketfails6

llm-lib

This package needs a description

Docs:

This package needs tags

License:
Racketsucceeds3

llm-test

This package needs a description

Docs:

This package needs tags

License:
Racketfails6

llm-lang

An LLM-first language.

This package needs documentation

This package needs tags

This package needs license metadata

Racketfails6

rackpgmp

A library for profile-guided meta-programming

This package needs license metadata

Racketsucceeds; 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

Racketsucceeds2

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

Racketsucceeds2

scribble-bettergrammar-lib

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

This package needs license metadata

Racketsucceeds2

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

Racketfails6

scribble-minted

A scribble library for using pygmentize.

Docs:

This package needs license metadata

Racketfails6

scribble-minted-doc

Documentation for scribble-minted.

Docs:

This package needs license metadata

Racketfails6

scribble-minted-lib

A scribble library for using pygmentize (library only).

Docs:

This package needs license metadata

Racketsucceeds; has failing tests5

sexp-diff

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

Docs:

This package needs tags

This package needs license metadata

Racketsucceeds2

sexp-diff-doc

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

Docs:

This package needs tags

This package needs license metadata

Racketsucceeds2

sexp-diff-lib

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

Docs:

This package needs tags

This package needs license metadata

Racketsucceeds2

sexp-diff-test

Tests for sexp-diff-lib

Docs:

This package needs tags

This package needs license metadata

Racketsucceeds2