Search Package Index

21 packages found

 PackageDescriptionBuild

acmsmall

Port of the acmsmall style to Scribble

Docs:
Tags:
succeeds; has failing tests

benchmark

Benchmarking library

succeeds; has failing tests

classicthesis-scribble

Scribble wrapper for the classicthesis LaTeX style.

Docs: README
Tags:
succeeds

contract-profile

Profiling tool for contracts

feature-profile

Profile that measures time spent in language/library features

succeeds; has failing tests

java-lexer

Java syntax highlighting for Scribble.

Docs: README
succeeds

lindenmayer

Docs: README
fails

lipics

Scribble languages for the LIPIcs paper format

Tags:
succeeds; has failing tests

optimization-coach

Optimization Coach Plug-In for DrRacket

profile-lib

implementation (no documentation) part of "profile"

New

racket-benchmarks

Docs: README

sexp-diff

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

succeeds

shell-completion

Completion scribpts for bash and zsh

New

source-syntax

find mappings from expanded to source syntax

Docs: README

staged-slide

Helpers for building staged slides in Slideshow

Tags:
succeeds
New

typed-racket

The implementation of the Typed Racket language

Docs: README
New

typed-racket-compatibility

compatibility library for older Typed Racket-based languages

Docs: README
New

typed-racket-doc

documentation part of "typed-racket"

New

typed-racket-lib

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

Docs: README
New

typed-racket-more

Types for various libraries

Docs: README
New

typed-racket-test

tests for "typed-racket"

Docs: README