Search Package Index

13 packages found

 PackageDescriptionBuild 

css-expr

S-expression-based CSS

Docs:

This package needs license metadata

succeeds2

Karp

A language for NP-Reductions

Docs:

This package needs license metadata

succeeds; has failing tests5

knotty

A domain-specific language for knitting patterns

This package needs documentation

fails6

knotty-lib

A domain-specific language for knitting patterns. Implementation only: no documentation.

This package needs documentation

fails6

lambda-calculus

A lambda-calculus DSL in Racket

This package needs license metadata

succeeds; has dependency problems2

lex-yacc-example

Examples for lexer and yacc

This package needs license metadata

succeeds2

qi

A general-purpose functional DSL.

This package needs license metadata

succeeds; has dependency problems2

qi-doc

A general-purpose functional DSL. [docs only]

Docs:

This package needs license metadata

succeeds2

qi-lib

A general-purpose functional DSL. [implementation only]

This package needs documentation

This package needs license metadata

succeeds4

qi-test

A general-purpose functional DSL. [tests only]

This package needs documentation

This package needs license metadata

succeeds4

rex

Language for deterministic finite state machines

Docs:
Tags:

This package needs license metadata

succeeds2

rmc

Racket-made C

This package needs documentation

This package needs license metadata

succeeds; has failing tests5

social-contract

High-level, composable syntax for describing contracts.

This package needs license metadata

succeeds2