Search Package Index

26 packages found

 PackageDescriptionBuild 

acmsmall

Port of the acmsmall style to Scribble

Docs:
Tags:

This package needs license metadata

succeeds; has failing tests5

benchmark

Benchmarking library

Docs:

This package needs license metadata

succeeds; has failing tests5

classicthesis-scribble

Scribble wrapper for the classicthesis LaTeX style.

This package needs documentation

Tags:

This package needs license metadata

succeeds4

contract-profile

Profiling tool for contracts

License:
0

dssl2

A language for data structures students

Docs:

This package needs license metadata

succeeds2

feature-profile

Profile that measures time spent in language/library features

This package needs license metadata

succeeds; has failing tests5

java-lexer

Java syntax highlighting for Scribble.

This package needs documentation

This package needs license metadata

succeeds4

lindenmayer

This package needs a description

This package needs tags

This package needs license metadata

succeeds3

lipics

Scribble languages for the LIPIcs paper format

Docs:
Tags:

This package needs license metadata

succeeds; has failing tests5

optimization-coach

Optimization Coach Plug-In for DrRacket

License:
0

plaitypus

Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai.

Docs:

This package needs license metadata

succeeds2

profile-lib

implementation (no documentation) part of "profile"

This package needs documentation

License:
4

New

racket-benchmarks

This package needs a description

This package needs documentation

License:
4

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

shell-completion

Completion scribpts for bash and zsh

This package needs documentation

License:
4

source-syntax

find mappings from expanded to source syntax

This package needs documentation

License:
4

staged-slide

Helpers for building staged slides in Slideshow

Tags:

This package needs license metadata

succeeds2

typed-racket

The implementation of the Typed Racket language

License:
0

typed-racket-compatibility

compatibility library for older Typed Racket-based languages

This package needs documentation

License:
4

typed-racket-doc

documentation part of "typed-racket"

License:
0

typed-racket-lib

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

This package needs documentation

License:
4

typed-racket-more

Types for various libraries

This package needs documentation

License:
4

typed-racket-test

tests for "typed-racket"

This package needs documentation

License:
4