Search Package Index

21 packages found

 PackageDescriptionBuild 

acmsmall

Port of the acmsmall style to Scribble

Docs:
Tags:
succeeds; has failing tests4

benchmark

Benchmarking library

Docs:
succeeds; has failing tests4

classicthesis-scribble

Scribble wrapper for the classicthesis LaTeX style.

This package needs documentation

Tags:
succeeds3

contract-profile

Profiling tool for contracts

0

feature-profile

Profile that measures time spent in language/library features

succeeds; has failing tests4

java-lexer

Java syntax highlighting for Scribble.

This package needs documentation

succeeds3

New

lindenmayer

This package needs a description

This package needs tags

succeeds2

lipics

Scribble languages for the LIPIcs paper format

Docs:
Tags:
succeeds; has failing tests4

optimization-coach

Optimization Coach Plug-In for DrRacket

0

profile-lib

implementation (no documentation) part of "profile"

This package needs documentation

3

New

racket-benchmarks

This package needs a description

This package needs documentation

3

sexp-diff

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

Docs:

This package needs tags

succeeds1

shell-completion

Completion scribpts for bash and zsh

This package needs documentation

3

source-syntax

find mappings from expanded to source syntax

This package needs documentation

3

staged-slide

Helpers for building staged slides in Slideshow

Tags:
succeeds0

typed-racket

The implementation of the Typed Racket language

This package needs documentation

3

typed-racket-compatibility

compatibility library for older Typed Racket-based languages

This package needs documentation

3

typed-racket-doc

documentation part of "typed-racket"

0

typed-racket-lib

implementation (no documentation) part of "typed-racket"

This package needs documentation

3

typed-racket-more

Types for various libraries

This package needs documentation

3

typed-racket-test

tests for "typed-racket"

This package needs documentation

3